1 Commits

Author	SHA1	Message	Date
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