hazelgrove/hazel issues and pull requests

#1316 - Exercise Mode Editing Capabilities

Pull Request - State: closed - Opened by russell-rozenbaum 8 months ago - 7 comments

#1314 - Stop context menu from rendering when not open

Issue - State: closed - Opened by disconcision 8 months ago - 1 comment
Labels: starter-project, performance

#1314 - Stop context menu from rendering when not open

Issue - State: closed - Opened by disconcision 8 months ago - 1 comment
Labels: starter-project, performance

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

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

#1311 - ADTs with hole type consistency have casting bug

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

#1303 - Relative precedence of ; and &&

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

#1302 - Derivation trees

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

#1299 - Fixpoints in SynFun position create static errors

Issue - State: open - Opened by Negabinary 10 months ago - 4 comments

#1297 - Editor Componentization

Pull Request - State: closed - Opened by Negabinary 10 months ago

#1281 - Develop a type-directed operational semantics for expressions

Issue - State: open - Opened by cyrus- 10 months ago - 1 comment

#1281 - Develop a type-directed operational semantics for expressions

Issue - State: open - Opened by cyrus- 10 months ago - 1 comment

#1279 - recursive polymorphic functions not working

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

#1278 - Errors in Polymorphism and Basic Reference examples

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

#1267 - Polymorphic equality

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

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

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

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

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

#1261 - Command Palette

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

#1254 - Create a new input syntax for function.

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

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

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

#1237 - Function type synthesis issue on remove-dhexp branch

Issue - State: closed - Opened by Negabinary 12 months ago - 2 comments

#1237 - Function type synthesis issue on remove-dhexp branch

Issue - State: closed - Opened by Negabinary 12 months ago - 2 comments

#1235 - Implement Labeled Tuples

Pull Request - State: closed - Opened by WondAli 12 months ago - 19 comments
Labels: in-development

#1233 - Fix issues with nested type annotations on patterns

Issue - State: closed - Opened by cyrus- 12 months ago - 2 comments
Labels: bug, pattern-matching

#1233 - Fix issues with nested type annotations on patterns

Issue - State: closed - Opened by cyrus- 12 months ago - 2 comments
Labels: bug, pattern-matching

#1220 - Integrate menhir parser and elaborator tests

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

#1218 - Leaf Projectors

Pull Request - State: closed - Opened by disconcision almost 1 year ago - 12 comments

#1210 - restore equivalence symbol font

Issue - State: closed - Opened by cyrus- about 1 year ago - 2 comments

#1209 - fix Show Elaboration option in menu

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

#1199 - Add more concise function definition notation

Issue - State: open - Opened by cyrus- about 1 year ago
Labels: starter-project

#1199 - Add more concise function definition notation

Issue - State: open - Opened by cyrus- about 1 year ago
Labels: starter-project

#1190 - Clean up setting submenu with subsubmenus

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

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

Issue - State: closed - Opened by cyrus- about 1 year ago - 2 comments
Labels: bug

#1167 - Quadruple-clicking on some terms has bad behavior

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

#1167 - Quadruple-clicking on some terms has bad behavior

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

#1148 - LLAMA LLM LSP

Pull Request - State: closed - Opened by disconcision about 1 year ago

#1147 - Select All does not work at position zero

Issue - State: open - Opened by cyrus- about 1 year ago
Labels: bug

#1147 - Select All does not work at position zero

Issue - State: open - Opened by cyrus- about 1 year ago
Labels: bug

#1146 - Ellipses for TyDi suggestions that will expand

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

#1135 - Investigate general conditional notation

Issue - State: open - Opened by cyrus- over 1 year ago - 1 comment
Labels: pending

#1135 - Investigate general conditional notation

Issue - State: open - Opened by cyrus- over 1 year ago - 1 comment
Labels: pending

#1109 - Formatting of exercise mode results

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

#1107 - context inspector view doesn't scale to parent width

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

#1097 - Consider suppressing display of nested error holes

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

#1091 - Assistant Plus

Pull Request - State: closed - Opened by disconcision over 1 year ago
Labels: assistant, in-development, needs-merge

#1084 - parameterized types

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

#1078 - Click-selecting list literals or cases via commas or rules doesn't select container

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

#1078 - Click-selecting list literals or cases via commas or rules doesn't select container

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

#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 almost 2 years ago - 30 comments

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

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

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

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

#994 - Export does not reflect paste, even though UI (and test scores) update

Issue - State: closed - Opened by hejohns almost 2 years ago - 2 comments
Labels: bug, critical

#994 - Export does not reflect paste, even though UI (and test scores) update

Issue - State: closed - Opened by hejohns almost 2 years ago - 2 comments
Labels: bug, critical

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

Pull Request - State: open - Opened by evanweissburg about 2 years ago - 1 comment
Labels: needs-merge

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

Issue - State: closed - Opened by ricky136973 about 2 years ago - 2 comments
Labels: bug

#965 - Haz3l binding uses

Pull Request - State: open - Opened by agrsh about 2 years ago - 1 comment
Labels: needs-polish, needs-merge

#965 - Haz3l binding uses

Pull Request - State: open - Opened by agrsh about 2 years ago - 1 comment
Labels: needs-polish, needs-merge

#950 - update omd dependency

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

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

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

#891 - Selection shouldn't trigger from right mouse button

Issue - State: closed - Opened by cyrus- over 2 years ago - 1 comment
Labels: bug

#891 - Selection shouldn't trigger from right mouse button

Issue - State: closed - Opened by cyrus- over 2 years ago - 1 comment
Labels: bug

#890 - Can't scroll using mouse while selecting

Issue - State: open - Opened by cyrus- over 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- over 2 years ago - 1 comment
Labels: bug, starter-project

#880 - Scroll when dragging a selection down/up

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

#856 - Make it possible to navigate through a DHExp with cursor

Issue - State: closed - Opened by cyrus- over 2 years ago - 1 comment

#831 - Undefined

Issue - State: closed - Opened by cyrus- over 2 years ago - 7 comments
Labels: starter-project

#815 - Add ability to add new mutants

Issue - State: open - Opened by cyrus- over 2 years ago
Labels: starter-project

#815 - Add ability to add new mutants

Issue - State: open - Opened by cyrus- over 2 years ago
Labels: starter-project

#807 - Go to next/prev hole functionality

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

#790 - Improve run-time error display

Issue - State: open - Opened by cyrus- over 2 years ago
Labels: starter-project

#790 - Improve run-time error display

Issue - State: open - Opened by cyrus- over 2 years ago
Labels: starter-project

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

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

#724 - Make undo/redo skip movement

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

#606 - Explicit polymorphism

Issue - State: closed - Opened by cyrus- over 2 years ago
Labels: polymorphism

#606 - Explicit polymorphism

Issue - State: closed - Opened by cyrus- over 2 years ago
Labels: polymorphism

#471 - Functorize weakmap

Pull Request - State: closed - Opened by nj-wilson about 4 years ago - 3 comments
Labels: cleanup

#247 - casts are visually ambiguous around infix ops

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

#144 - Use a CSS cleaner to trim `style.css` to only used classes

Issue - State: closed - Opened by adamsmd about 5 years ago

GitHub / hazelgrove/hazel issues and pull requests