hazelgrove/hazel

Issues

• Add GitHub Action to automatically fix formatting in PRs

  #1413 opened 23 days ago by 7h3kk1d
  0

• Improving Scrollabilty for Page-End Editing

  #1407 opened 2 months ago by GuoDCZ
  0

• every action is being printed in the console

  #1403 opened 2 months ago by cyrus-
  1

• Add highlighting for markdown syntax during exercise prompt editing

  #1397 opened 2 months ago by facundoy
  0

• projectors break application/subtraction remolding

  #1396 opened 2 months ago by disconcision
  0

• New exercise button

  #1394 opened 2 months ago by cyrus-
  0

• Fix haz3lschool

  #1392 opened 2 months ago by gcrois
  0

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

  #1389 opened 2 months ago by cyrus-
  3

• editing is slow when previous slide used stepper extensively

  #1390 opened 2 months ago by cyrus-
  0

• Exercise Import menu item doesn't accept clicks on label

  #1386 opened 3 months ago by disconcision
  0

• Missing Static Error For Free Constructor when used in Application

  #1385 opened 3 months ago by GuoDCZ
  1

• Weird interaction between exercises mode and statics-dependent editors

  #1381 opened 3 months ago by Negabinary
  0

• Redundancy / Exhaustiveness doesn't work with parenthesized types

  #1380 opened 3 months ago by Negabinary
  2

• evaluation filters no longer working

  #1358 opened 3 months ago by cyrus-
  1

• Extension points

  #1374 opened 3 months ago by cyrus-
  1

• [meta] basic screen reader considerations

  #1372 opened 3 months ago by cyrus-
  0

• ListLit of Sum Type with Hole report Inconsistency in Static Checker

  #1370 opened 3 months ago by GuoDCZ
  1

• Ability to share hazel programs via URL

  #1367 opened 3 months ago by disconcision
  0

• Add a CI build for arm64 on OS X

  #1366 opened 3 months ago by 7h3kk1d
  0

• Explicitly mark dev dependencies on upgrade to Opam 2.2

  #1365 opened 3 months ago by 7h3kk1d
  0

• Export Submission no longer works

  #1364 opened 3 months ago by cyrus-
  2

• Clicking on opposite end of a selection doesn't trigger deselection

  #1363 opened 3 months ago by disconcision
  0

• Selecting a space after a hole results in wrong selection deco

  #1362 opened 3 months ago by disconcision
  0

• Moving into textarea projector from left puts caret at previous position in textarea

  #1361 opened 3 months ago by disconcision
  0

• Projectors are not preserved under copy/paste

  #1359 opened 3 months ago by disconcision
  0

• Textarea projector loses caret position on Undo/Redo

  #1360 opened 3 months ago by disconcision
  0

• free variables do not have errors in the dynamics

  #1357 opened 3 months ago by cyrus-
  0

• ListLit of different Construtor type does not raise type error

  #1313 opened 4 months ago by GuoDCZ
  1

• ADTs with hole type consistency have casting bug

  #1311 opened 4 months ago by gensofubi
  2

• elaboration returns none when entering a case rule

  #1354 opened 4 months ago by disconcision
  2

• Refactoring support [meta issue]

  #1353 opened 4 months ago by cyrus-
  0

• Replace mousedown overlay with pointer capture

  #1351 opened 4 months ago by disconcision
  1

• Check performance of the release build with student mode

  #1349 opened 4 months ago by 7h3kk1d
  1

• evaluation bug involving cases

  #1345 opened 4 months ago by disconcision
  1

• regular expressions

  #1346 opened 4 months ago by disconcision
  0

• Define property-based testing for elaboration

  #1335 opened 4 months ago by cyrus-
  2

• case checker on recursive types

  #1310 opened 4 months ago by gensofubi
  1

• ADT Dynamics example is broken (Exhaustiveness/Redundancy)

  #1319 opened 5 months ago by disconcision
  5

• Able to Copy/Paste in Editors Set to Read-Only

  #1317 opened 5 months ago by russell-rozenbaum
  0

• Stop context menu from rendering when not open

  #1314 opened 5 months ago by disconcision
  0

• Constructors that require arguments shouldn't be in patterns without arguments

  #1309 opened 6 months ago by Negabinary
  4

• Make undo return you to previous stepper state

  #1306 opened 6 months ago by cyrus-
  1

• Relative precedence of ; and &&

  #1303 opened 6 months ago by disconcision
  1

• Think about how to update the stepper state when elaboration changes

  #1305 opened 6 months ago by cyrus-
  0

• Add ability to decide on stepping strategy during stepping

  #1304 opened 6 months ago by cyrus-
  0

• Fixpoints in SynFun position create static errors

  #1299 opened 7 months ago by Negabinary
  2

• 1 @ 2 doesn't throw an error

  #1298 opened 7 months ago by Negabinary
  2

• Structural copy/paste

  #1300 opened 7 months ago by disconcision
  0

• cannot delete `=` when let type annotation trails with a hole

  #1295 opened 7 months ago by cyrus-
  1

• Drag-and-drop blocks editing UI for Hazel

  #1294 opened 7 months ago by cyrus-
  0