inc-lc/ilc-agda — pull request #3 by Blaisorblade (2014-06-22 15:44:45+00:00)
Title: Abstract abs* smart constructors for HOAS

Reduce code duplication by extra-fancy abstractions. This was a fun programming project after coming back from a party.