ma82/thesis

Inductive families à la carte

Code for my MSc thesis (2014-03-10), updated to a more recent Agda.

Dependencies

• https://github.com/ma82/adapter c21a961
• https://github.com/agda/agda-stdlib e7a1d3e
• https://github.com/agda/agda 9b68c3b