Move non-core files to `Types` - Githubissues

jonsterling / agda-calf

A cost-aware logical framework, embedded in Agda.

https://jonsterling.github.io/agda-calf/

Apache License 2.0

54 stars 4 forks source link

Move non-core files to `Types` #25

Closed HarrisonGrodin closed 3 years ago