hazel

hazel copied to clipboard

Evaluation gas

7

This PR adds gas to the evaluator to prevent freezes caused by bottomless recursion. A new `EvaluatorState.t` record is passed through evaluation: - On each call to `evaluate`, the `step`...

mirryi

Type alias 3

3

Continuing the good work started in #505 . This PR migrates the positive changes from PR #505 while eliding spurious edits and undesirable extensions to internal APIs, such as persistent...

dedbox

disconcision

Offline grading infrastructure

12

cyrus-

cyrus-

cyrus-

(after tile-based editor integration)

cyrus-

cyrus-

cyrus-

cyrus-