Categorical semantics in agda for Unary Type Theory
Home Page:https://shiranaiyo.github.io/UTT/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool