inc-lc/ilc-agda — pull request #5 by Blaisorblade (2014-06-23 09:57:35+00:00)
Title: Add nil

Not to merge yet — this is just the saved intermediate state.