/linear.agda

A library and case-study for linear, intrinsically-typed interpreters in Agda

Primary LanguageAgdaMIT LicenseMIT

No issues in this repository yet.