laplacekorea / agda-calf Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jonsterling/agda-calf
A cost-aware logical framework, embedded in Agda.
Home Page: http://www.jonmsterling.com/agda-calf
License: Apache License 2.0