All I could find on GH was: https://github.com/pancake-lang/pancake https://github.com/pancake-lang/pancake EDIT: also this: https://github.com/rationalis/pan

All I could find on GH was: https://github.com/pancake-lang/pancake https://github.com/pancake-lang/pancake EDIT: also this: https://github.com/rationalis/pancake https://github.com/rationalis/pancake Ah, its in here: https://github.com/CakeML/cakeml/ https://github.com/CakeML/cakeml/