compilation.ipl

Some examples of how high level constructions in type theory are compiled to clean LLVM.
View file at Google Code.


View file at Google Code.