inc-lc/ilc-agda — pull request #6 by Blaisorblade (2014-09-04 18:57:00+00:00)
Title: Draft conversion to CBPV types

Not to merge yet.
It would be interesting to see if it is easier to produce types for static caching after converting to CBPV types.