txa's Stars
txa/OmegaCats
nzl-nott/PhD-of-nzl
The exercises for PhD of nzl
peterwmorris/Indexed-Containers
Journal version
txa/Derivatives
Derivative of quotient containers
fredrikNordvallForsberg/CatIndInd
Categorical semantics of induction-induction
zlizta/pisigma-0-2-2
txa/g52ifr
txa/pisigma-0-2-2