A minimalistic implementation of a functional programming languge --- based on combinatory logic
root
- CL
- Evolution
- Meta
- Util
- CL.sty
- Debug.lhs
- Front Page.page
- Gitit User's Guide.page
- Guarded.lhs
- Help.page
- INSTALL
- IT.sty
- Main.lhs
- Makefile
- Test.lhs
- algorithmic_information_theory.tex
- convention.tex
- fixed-point_theorem_in_logic.tex
- godel_theorem.tex
- installation.tex
- introduction.tex
- main_document.lhs
- myformat.lhs
- mymath.sty
- mytheorem.sty
- self-reference.bib
- to_do.tex
- to_do2.tex