laMudri/linear.agda

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