4 commits

Author	SHA1	Message	Date
syl20bnr	5d8be137e7	Define missing init functions	2015-04-03 17:35:33 -04:00
syl20bnr	96723eb7eb	Update wrong code snippets in READMEs	2015-02-17 22:36:12 -05:00
syl20bnr	e38fbc912b	Add toc to ocaml README	2015-02-07 23:32:45 -05:00
Ranjit Jhala	3fb96fa348	Add ocaml layer	2015-02-07 23:29:08 -05:00