pa-ba / alacarte-idris

Data Types a la Carte in Idris

Data Types à la Carte in Idris

An implementation of Wouter Swierstra's Data Types à la Carte in Idris.