/linear-logic

Idris playground on linear logic

MIT LicenseMIT

No issues in this repository yet.