case checker on recursive types

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes

http://hazel.org/

MIT License

683 stars 45 forks source link

Open gensofubi opened 1 month ago

gensofubi commented 1 month ago

I expect this example to have no error warnings.

cyrus- commented 1 week ago

@pigumar1 could you take a look at this issue?