xvw.lol

xvw.lol - Guarded methods in OCaml

Implementation of "guarded methods" using type equality witnesses

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.