README.md

Geisha

Just a toy A strict language with ML-like HM type system.

Hello World

def helloWorld = () -> {
  let hello = "hello world!"
    in printLn(hello)
}

def main = () -> helloWorld()

References

• Write You a Haskell

• Implementing a JIT Compiled Language with Haskell and LLVM

• Essentials of Compilation

Schedule

• Parser

• Type inference

• LLVM IR generation

LICENSE

WTFPL