Giters

pigworker / TypesWhoSayNi

being the materials for a paper I have in mind to write about the bidirectional discipline

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

TypesWhoSayNi

being the materials for a paper I have in mind to write about the bidirectional discipline

About

being the materials for a paper I have in mind to write about the bidirectional discipline

Languages

Language:Agda 55.6%Language:TeX 44.4%