William J. Bowman 961a5b7bb9 Rewrote Olly ... Olly is now properly designed. This also fixes some issues with binding, i.e. fixes #32, and extraction to Coq and Latex Makes progress on #9.		2016-01-19 11:23:49 -05:00
..
scribblings	Rewrote Olly	2016-01-19 11:23:49 -05:00
cur.scrbl	Changed oll to olly	2016-01-11 15:46:55 -05:00
info.rkt	Split and reorganized package. Closes #14	2016-01-10 19:10:12 -05:00