ziman / itt-idris

ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ziman/itt-idris Stargazers