hazel

hazel copied to clipboard

cyrus-

- click to move - double click to select tile - triple click to select term - click and drag to make selection

disconcision

PR contains: - Substantial refactor of Grain IR library - Runtime that uses a `MaybeIndet` sum to represent possibly indeterminate results for now - Tools to safe-ish-ly generate code that...

mirryi

This PR adds exhaustiveness and redundancy checking for case expressions with pattern holes. Each pattern form is associated with one or more constraints that determine which expression forms it can...

dedbox

Logs

1

This PR installs and configures the `logs` opam package, a performant logging framework with support for traditional level-based logging as well as flexible reporting, tagging, and filtering capabilities.

dedbox

Make impossible syn more impossibler

48

This is a followup to pattern annotations intended to resolve an unanticipated interaction between lets and cases which manifests as the failure of an assertion within statics. It adds two...

disconcision

dm0n3y

This PR redefines edit state so that it contains a prelude, template, and a tester. It also adds an `assignments` cardstack and a `filter_odds` example that shows what a Hazel...

ygaitonde

Given the following edit state:  Expected behavior: Pressing `` should promote the `f` to an application of `f` to a fresh expression hole. Actual behavior: The following exception is...

dedbox

disconcision