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

show synthesized type on screen #30

Closed cyrus- closed 8 years ago

cyrus- commented 8 years ago

that's useful for building intuition about the statics, and should be easy because its already being tracked by the model.