benhuds / Agda

Complexity analysis, type safety, soundness, etc.

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