15 lines
248 B
Markdown
15 lines
248 B
Markdown
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.
|
|
```
|