inc-lc/ilc-scala — pull request #9 by Blaisorblade (2014-10-06 19:10:21+00:00)
Title: Start sketching CBPV implementation in Scala

Not to merge yet. Agda is more suited to prototyping this code, thanks to totality checking.