William J. Bowman 63357484d9 Some examples from Coq, and equivalents in Cur ... * Examples of Coq code, and what one wishes one could do. * Examples of similar model in Cur, and what is currently required.		2016-01-22 14:20:16 -05:00
..
example.rkt	cur is now a pkg and a #lang	2015-09-16 12:25:22 -04:00
proofs-for-free.rkt	Commented out things that cause package to fail	2015-09-22 15:32:54 -04:00
try.rkt	Some examples from Coq, and equivalents in Cur	2016-01-22 14:20:16 -05:00
try.v	Some examples from Coq, and equivalents in Cur	2016-01-22 14:20:16 -05:00