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)- "+" function to add integers
- Integers
- Function declaration
- Function application
- Variable declaration
Hindley-Milner-Damas? Or at least a try of it!
- Partial application
- Create more tests