hazel

hazel copied to clipboard

This comes up when we use the context inspector view for showing the type signature of the correct implementation in exercise mode: You can see the full signature when you...

cyrus-

Building educational UI for constructing rule-based derivations and integrate it into Exercises mode in Hazel.  - [x] Port judgement type `Judgement` and component types `Prop`, `Ctx`...

GuoDCZ

Fix the stacked error holes for cases with multiple branches

4

This pull request fixes the "stacked error holes" issue for case expressions with multiple branches:  This is what'll happen in the current Hazel. The reason is that the ids...

pigumar1

prevent unnecessary fixpoints in elaboration

3

This PR tries to fix #1268 by checking if there are self-references in the function body/bodies during elaboration and decide whether to include the fixpoint based on that information. For...

pigumar1

# Editor Componentization **Warning:** this is a huge change to the Haz3lweb portion of the codebase. I've tried to provide a guide below for merging this into your branch. ##...

Negabinary

Fixpoints in SynFun position create static errors

2

e.g. `(fix f -> fun x -> x + 1)(3)` on https://[hazel](https://hazel.org/build/remove-dhexp/).org/build/remove-dhexp/ branch. Gives "Expected a Constructor". 

Negabinary

Implement Labeled Tuples

1

**Goal:** Implement Labeled Tuple functionality into Hazel. Note: I don't think I can change the source branch on the old pull request. This redesign of the implementation was started on...

WondAli

If code is copied from the editor and pasted in the editor, maybe we should retain the original zipper structure rather than reparsing from text. This would be both faster,...

disconcision

Polymorphic equality

12

In progress handling #1252. Front-end tests: ```typescript test 1 == 2 end; test 1. == 1. end; test false != false end; test "str" == "str" end; test [1,2] !=...

GuoDCZ

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

1

cyrus-