Powerful meta-programming for powerful types.

Go to file

William J. Bowman 59aff98158 Merge branch 'reflection' into cross-modules		2015-01-29 22:47:12 -05:00
example.rkt	Renamed more curnels	2015-01-29 22:46:53 -05:00
nat.rkt	Merge branch 'master' into cross-modules	2015-01-29 22:45:03 -05:00
oll.rkt	Merge branch 'master' into cross-modules	2015-01-29 22:45:03 -05:00
proofs-for-free-v2.rkt	Renamed kernel to curnel. An important pun.	2015-01-29 22:44:30 -05:00
README.md	Typo in the README	2015-01-29 15:53:58 -05:00
redex-curnel.rkt	Merge branch 'master' into cross-modules	2015-01-29 22:45:03 -05:00
sugar.rkt	Renamed more curnels	2015-01-29 22:46:53 -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 or inferior dog.
2. (archaic) A detestable person.