All Projects → freebroccolo → Agda Prelude

freebroccolo / Agda Prelude

A simple prelude for Agda

agda-prelude

Travis Build Status

A simple prelude for Agda

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].