Powerful meta-programming for powerful types.

Go to file

William J. Bowman 448ee8a83a Added support for generating theorems,proofs,defs * cur-expand can now accept additional stop identifiers. * Coq generator can now generate theorems, proofs, and definitions.		2015-02-04 20:30:24 -05:00
stdlib	Reorganized stdlib; fixed some tests	2015-02-04 18:47:15 -05:00
example.rkt	Renamed more curnels	2015-01-29 22:46:53 -05:00
oll.rkt	Added support for generating theorems,proofs,defs	2015-02-04 20:30:24 -05:00
proofs-for-free.rkt	Reorganized stdlib; fixed some tests	2015-02-04 18:47:15 -05:00
README.md	Tweaked README	2015-01-30 17:57:16 -05:00
redex-curnel.rkt	Added support for generating theorems,proofs,defs	2015-02-04 20:30:24 -05:00
stlc.rkt	Reorganized stdlib; fixed some tests	2015-02-04 18:47:15 -05:00

cur

CIC under Racket. A language with static dependent-types and dynamic types, type annotations and parentheses, theorem proving and meta-programming.

Noun
cur (plural curs)

1. (archaic) A mongrel.
2. (archaic) A detestable person.