Giters

uwap / linear-logic

Idris playground on linear logic

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

linear-logic

Idris playground on linear logic

About

Idris playground on linear logic

License:MIT License