Trebor-Huang / agda-linear

An implementation of a Zeilberger-style linear type theory.
9Updated 3 years ago

Related projects

Alternatives and complementary repositories for agda-linear