krkx / homotopy

My Agda code for Homotopy Type Theory

Geek Repo

Github PK Tool