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

remove nextSib #16

Closed ivoysey closed 8 years ago

ivoysey commented 8 years ago

remove nextSib in favor of using move (child 1) and move (child 2). this is in the current version of the paper and the agda formalization, so the rules there should be the right thing to follow.

MichaelHilton commented 8 years ago

closed in pair programming session with @cyrus-