| Age | Commit message (Collapse) | Author |
|---|
|
Sugar makes programs nicer to write.
|
|
|
|
Extract parser as an independent project.
|
|
Remove `getChildren` construct---it's too niche for the core language.
|
|
|
|
Too few proofs were relevant. Now they are.
|
|
- Add type aliases.
- Make `suc` a symbol.
- Fix incorrect specification for `IsFunction`.
- Write parser for terms.
- Use `collie` to improve command line experience.
|
|
Write a type on stdin, and it will tell you if it's well formed, and
will pretty print it back if so.
Rewrite the parser library to be n-ary.
|
