Lisp but typed and it compiles to LLVM
- OCaml 98.8%
- Dune 1.2%
| lib | ||
| src | ||
| tests | ||
| .gitignore | ||
| .ocamlformat | ||
| a.out | ||
| dune-project | ||
| main.tl | ||
| README.md | ||
Typed Lisp
Typed lisp that compiles to LLVM.
It supports higher order functions:
(defun add [x y] (+ x y))
(defun app [f z] (f z 1))
(app add 10)
Built-in
- "+" function to add integers
- Integers
- Function declaration
- Function application
- Variable declaration
Type-System
Hindley-Milner-Damas? Or at least a try of it!
Next
- Partial application
- Create more tests