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