/Agda

Complexity analysis, type safety, soundness, etc.

Primary LanguageAgdaMIT LicenseMIT

complexity-drafts: precursor to complexity
old: old stuff
ug: stuff from undergrad
complexity: cleanup needed