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

improve documentation in codebase #5

Closed MichaelHilton closed 8 years ago

MichaelHilton commented 8 years ago

for the benefit of reviewers who will be looking over the code

MichaelHilton commented 8 years ago

make sure rule numbers line up with paper