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
#1397 - Add highlighting for markdown syntax during exercise prompt editing
Issue -
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
#1391 - Try declaring a regular recursive type for exp as opposed to the recursive modules
Pull Request -
State: open - Opened by 7h3kk1d 17 days ago
#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
#1381 - Weird interaction between exercises mode and statics-dependent editors
Issue -
State: open - 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
#1361 - Moving into textarea projector from left puts caret at previous position in textarea
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
#1316 - Title Editor, Exercise Keying with UUID, Mutant Editing, and New Persistent State Type
Pull Request -
State: open - Opened by russell-rozenbaum 3 months ago
- 4 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