Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / hazelgrove/hazel issues and pull requests

#1400 - Switch to Bonsai

Pull Request - State: open - Opened by Negabinary 1 day ago

#1399 - Missing labeled tuple labels elboration

Pull Request - State: closed - Opened by 7h3kk1d 6 days ago - 1 comment

#1398 - Grading Requirements Editor

Pull Request - State: open - Opened by facundoy 7 days ago

#1396 - projectors break application/subtraction remolding

Issue - State: open - Opened by disconcision 10 days ago
Labels: bug

#1395 - Strudelize Hazel

Pull Request - State: open - Opened by disconcision 12 days ago - 2 comments

#1394 - New exercise button

Issue - State: open - Opened by cyrus- 13 days ago

#1393 - Track unbound variables in expressions

Pull Request - State: open - Opened by Negabinary 13 days ago

#1392 - Fix haz3lschool

Issue - State: open - Opened by gcrois 13 days ago
Labels: bug

#1390 - editing is slow when previous slide used stepper extensively

Issue - State: open - Opened by cyrus- 18 days ago
Labels: bug, performance, critical

#1389 - can't use unbound variables - evaluator and stepper time out

Issue - State: open - Opened by cyrus- 18 days ago - 3 comments
Labels: bug, critical

#1388 - refactor: use debug .. in for filter expression

Pull Request - State: open - Opened by tonyfettes 20 days ago

#1387 - Shaped Projectors

Pull Request - State: open - Opened by disconcision 23 days ago
Labels: enhancement

#1386 - Exercise Import menu item doesn't accept clicks on label

Issue - State: open - Opened by disconcision 24 days ago
Labels: bug

#1385 - Missing Static Error For Free Constructor when used in Application

Issue - State: open - Opened by GuoDCZ 28 days ago - 1 comment
Labels: bug, critical

#1384 - Begin testing statics using anntoations to represent inferred types

Pull Request - State: open - Opened by 7h3kk1d about 1 month ago

#1383 - Remove parens around hidden functions

Pull Request - State: closed - Opened by Negabinary about 1 month ago

#1382 - Remove parens in weak_head_normalize

Pull Request - State: closed - Opened by Negabinary about 1 month ago

#1380 - Redundancy / Exhaustiveness doesn't work with parenthesized types

Issue - State: closed - Opened by Negabinary about 1 month ago - 2 comments
Labels: bug, starter-project

#1379 - Run dune fmt before dev/ test without failure and add make watch-test

Pull Request - State: closed - Opened by 7h3kk1d about 1 month ago

#1378 - Mark warnings as errors in release and warnings in dev

Pull Request - State: open - Opened by 7h3kk1d about 1 month ago - 2 comments

#1377 - Utilize sparse-checkout for the builds repo

Pull Request - State: closed - Opened by 7h3kk1d about 1 month ago

#1376 - Theorem keyword

Pull Request - State: open - Opened by thomasporter522 about 1 month ago - 2 comments

#1375 - fix fix-point matching in stepper filter

Pull Request - State: closed - Opened by tonyfettes about 1 month ago

#1374 - Extension points

Issue - State: open - Opened by cyrus- about 1 month ago - 1 comment

#1373 - Git Attributes

Pull Request - State: closed - Opened by 7h3kk1d about 1 month ago - 2 comments

#1372 - [meta] basic screen reader considerations

Issue - State: open - Opened by cyrus- about 2 months ago

#1371 - Try making all of the ids type parameters

Pull Request - State: open - Opened by 7h3kk1d about 2 months ago

#1370 - ListLit of Sum Type with Hole report Inconsistency in Static Checker

Issue - State: open - Opened by GuoDCZ about 2 months ago - 1 comment
Labels: bug, critical

#1369 - Additional tests

Pull Request - State: open - Opened by 7h3kk1d about 2 months ago

#1368 - Code Coverage

Pull Request - State: open - Opened by 7h3kk1d about 2 months ago - 1 comment

#1367 - Ability to share hazel programs via URL

Issue - State: open - Opened by disconcision about 2 months ago
Labels: enhancement, starter-project

#1366 - Add a CI build for arm64 on OS X

Issue - State: open - Opened by 7h3kk1d about 2 months ago

#1365 - Explicitly mark dev dependencies on upgrade to Opam 2.2

Issue - State: open - Opened by 7h3kk1d about 2 months ago

#1364 - Export Submission no longer works

Issue - State: open - Opened by cyrus- about 2 months ago - 2 comments
Labels: bug, critical

#1363 - Clicking on opposite end of a selection doesn't trigger deselection

Issue - State: open - Opened by disconcision about 2 months ago
Labels: bug

#1362 - Selecting a space after a hole results in wrong selection deco

Issue - State: open - Opened by disconcision about 2 months ago
Labels: bug

#1360 - Textarea projector loses caret position on Undo/Redo

Issue - State: open - Opened by disconcision about 2 months ago
Labels: bug

#1359 - Projectors are not preserved under copy/paste

Issue - State: open - Opened by disconcision about 2 months ago
Labels: bug, enhancement

#1358 - evaluation filters no longer working

Issue - State: closed - Opened by cyrus- about 2 months ago - 1 comment
Labels: bug, critical

#1357 - free variables do not have errors in the dynamics

Issue - State: open - Opened by cyrus- about 2 months ago

#1356 - Fix source maps

Pull Request - State: closed - Opened by 7h3kk1d about 2 months ago

#1355 - Exercise Description Editor

Pull Request - State: open - Opened by facundoy about 2 months ago - 1 comment

#1354 - elaboration returns none when entering a case rule

Issue - State: open - Opened by disconcision about 2 months ago - 2 comments
Labels: bug

#1353 - Refactoring support [meta issue]

Issue - State: open - Opened by cyrus- about 2 months ago

#1352 - Mutant Add Delete and Title Editor

Pull Request - State: closed - Opened by russell-rozenbaum about 2 months ago

#1351 - Replace mousedown overlay with pointer capture

Issue - State: open - Opened by disconcision about 2 months ago - 1 comment

#1350 - Reverse application

Pull Request - State: closed - Opened by Negabinary about 2 months ago

#1349 - Check performance of the release build with student mode

Issue - State: open - Opened by 7h3kk1d about 2 months ago - 1 comment
Labels: performance

#1344 - Try integrating brr as a online repl

Pull Request - State: open - Opened by 7h3kk1d about 2 months ago - 1 comment

#1343 - Summer UI Refresh

Pull Request - State: closed - Opened by disconcision 2 months ago - 17 comments

#1341 - Use setup-ocaml github action

Pull Request - State: closed - Opened by 7h3kk1d 2 months ago - 1 comment

#1338 - Exercise description editor

Pull Request - State: closed - Opened by facundoy 2 months ago - 1 comment

#1337 - Random generation of UExps

Pull Request - State: open - Opened by ruiz-m 2 months ago - 5 comments

#1330 - tutorial-systems

Pull Request - State: open - Opened by reevafaisal 2 months ago

#1328 - Construct sexp

Pull Request - State: open - Opened by gcrois 2 months ago - 1 comment
Labels: assistant, in-development

#1327 - add hintedtest keyword

Pull Request - State: open - Opened by jacobziff 2 months ago - 2 comments

#1325 - Add and Delete Mutants

Pull Request - State: closed - Opened by russell-rozenbaum 3 months ago - 1 comment

#1322 - Adds theorem and proof construct [new base]

Pull Request - State: closed - Opened by nskh 3 months ago - 10 comments

#1313 - ListLit of different Construtor type does not raise type error

Issue - State: closed - Opened by GuoDCZ 4 months ago - 1 comment
Labels: bug

#1311 - ADTs with hole type consistency have casting bug

Issue - State: closed - Opened by gensofubi 4 months ago - 2 comments
Labels: bug

#1302 - Derivation trees

Pull Request - State: open - Opened by GuoDCZ 5 months ago - 1 comment
Labels: in-development

#1297 - Editor Componentization

Pull Request - State: open - Opened by Negabinary 5 months ago

#1279 - recursive polymorphic functions not working

Issue - State: closed - Opened by cyrus- 5 months ago
Labels: bug, critical

#1278 - Errors in Polymorphism and Basic Reference examples

Issue - State: closed - Opened by disconcision 5 months ago - 1 comment
Labels: bug

#1267 - Polymorphic equality

Pull Request - State: open - Opened by GuoDCZ 6 months ago - 14 comments
Labels: starter-project, in-development

#1265 - var names begin with "in" automatically become token.

Issue - State: open - Opened by gensofubi 6 months ago - 1 comment
Labels: bug

#1264 - The error hole container shifts when cast decoration exists

Issue - State: closed - Opened by gensofubi 6 months ago
Labels: bug

#1261 - Command Palette

Pull Request - State: closed - Opened by 7h3kk1d 6 months ago - 14 comments

#1254 - Create a new input syntax for function.

Pull Request - State: open - Opened by DavidFangWJ 6 months ago - 4 comments
Labels: in-development

#1238 - evaluator hangs with uuid exception in console on this example

Issue - State: closed - Opened by cyrus- 7 months ago - 1 comment
Labels: bug, critical

#1235 - Implement Labeled Tuples

Pull Request - State: open - Opened by WondAli 7 months ago - 4 comments
Labels: in-development

#1220 - Integrate menhir parser and elaborator tests

Pull Request - State: open - Opened by 7h3kk1d 7 months ago - 22 comments

#1218 - Leaf Projectors

Pull Request - State: closed - Opened by disconcision 7 months ago - 12 comments

#1210 - restore equivalence symbol font

Issue - State: closed - Opened by cyrus- 8 months ago - 2 comments

#1209 - fix Show Elaboration option in menu

Issue - State: closed - Opened by cyrus- 8 months ago
Labels: bug

#1169 - Copy/paste does not seem to work on Safari

Issue - State: closed - Opened by cyrus- 8 months ago - 2 comments
Labels: bug

#1146 - Ellipses for TyDi suggestions that will expand

Issue - State: closed - Opened by disconcision 10 months ago

#1109 - Formatting of exercise mode results

Issue - State: closed - Opened by disconcision about 1 year ago
Labels: bug, starter-project

#1097 - Consider suppressing display of nested error holes

Issue - State: closed - Opened by disconcision about 1 year ago
Labels: style

#1084 - parameterized types

Pull Request - State: open - Opened by xzxzlala about 1 year ago

#1033 - Unused Variable Warnings

Pull Request - State: open - Opened by lmulcahy21 over 1 year ago - 6 comments
Labels: starter-project

#1020 - module system

Pull Request - State: open - Opened by gensofubi over 1 year ago - 30 comments

#1009 - Home/End should empty selection even if cursor is already at home/end position

Issue - State: closed - Opened by cyrus- over 1 year ago
Labels: bug, starter-project

#1001 - don't override Cmd+1...9

Issue - State: closed - Opened by cyrus- over 1 year ago
Labels: bug, starter-project

#981 - Add support for replays from student logs, along with a step-through/scrubbing control panel

Pull Request - State: open - Opened by evanweissburg over 1 year ago - 1 comment
Labels: needs-merge

#968 - Strange display of the cursor at empty last line

Issue - State: open - Opened by ricky136973 over 1 year ago - 1 comment
Labels: bug

#950 - update omd dependency

Issue - State: closed - Opened by cyrus- over 1 year ago
Labels: bug

#906 - ExplainThis: let body isn't highlighted when pattern is a tuple pattern

Issue - State: open - Opened by cyrus- almost 2 years ago - 1 comment
Labels: bug

#890 - Can't scroll using mouse while selecting

Issue - State: open - Opened by cyrus- almost 2 years ago - 2 comments
Labels: bug

#886 - Fix NaN issues in calculations when there are no results available or no tests

Issue - State: closed - Opened by cyrus- almost 2 years ago - 1 comment
Labels: bug, starter-project

#880 - Scroll when dragging a selection down/up

Issue - State: open - Opened by cyrus- almost 2 years ago - 2 comments
Labels: bug

#807 - Go to next/prev hole functionality

Issue - State: closed - Opened by cyrus- about 2 years ago
Labels: starter-project

#782 - fix DHExp printing to be consistent with surface syntax

Issue - State: closed - Opened by cyrus- about 2 years ago - 3 comments
Labels: bug, starter-project

#724 - Make undo/redo skip movement

Issue - State: closed - Opened by disconcision about 2 years ago - 1 comment

#247 - casts are visually ambiguous around infix ops

Issue - State: closed - Opened by cyrus- over 4 years ago - 3 comments
Labels: bug, critical