a9032676/llvm-hs-lc

A simple typed lambda calculus implementation with Haskell