Alexander Nemish

Design and implement basic FFI to C.

Implement Language Server Protocol https://microsoft.github.io/language-server-protocol in the compiler.

Currently, Infer expects function in declare-before-use order and doesn't support mutually recursive functions.

Now we have `foldl : ∀(a,b) => ((List a) -> (b -> ((a -> (b -> b)) -> b)))` I'd like to have `foldl : ∀(a,b) => List a ->...

Use stack allocated primitive types whenever possible, box when needed. Specialize generic functions for primitive types on instantiation.

Parse expressions instead of toplevel.

Single parameter for now

Link statically to LLVM or ship it or something.