sstucki / f-omega-int-agda

F-omega with interval kinds mechanized in Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

sstucki/f-omega-int-agda Stargazers