search

hazelgrove / HZ

Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
http://hazel.org/HZ/hz.html
MIT License
29 stars 3 forks source link

fix type deletion #14

Closed cyrus- closed 8 years ago

cyrus- commented 8 years ago

\x.x : > (||) -> (||) < doesn't allow delete right now. doesn't seem to be an obvious problem, i.e. the rule for type deletion is in hz_semantics