haskell-c a compiler for a subset of c. ideas ok error messages (similar to elm) also focus on backend / optimizations add a test suite and test with real programs