Popular repositories Loading

1. cubical-topos-experiments cubical-topos-experiments Public

   Agda code for experimenting with internal models of cubical type theory

   Agda 13 2

2. decomposing-univalence decomposing-univalence Public

   Agda code to accompany the paper "Decomposing the Univalence Axiom"

   Agda 7

3. Cubical-topos-CSL2016-Special-Issue Cubical-topos-CSL2016-Special-Issue Public

   Agda code to support "Axioms for modelling cubical type theory in a topos" to appear in the LMCS special issue of selected papers from CSL 2016.

   Agda 1

4. agdARGS agdARGS Public

   Forked from gallais/agdARGS

   Dealing with Flags and Options

   Agda

5. cubicaltt cubicaltt Public

   Forked from mortberg/cubicaltt

   Haskell