Similar repositories to peterlefanulumsdaine/higher-inductive-paper:

• peterlefanulumsdaine/higher-inductive-paper github similar
• gpampara/scalaz-http-client github similar
• adelbertc/programming-in-idris github similar
• jonsterling/coq-meaning-explanation github similar
• stew/funlib github similar
• precog/quasar github similar
• Kha/semantics-lean github similar
• anuyts/cartesian-2dtt github similar
• proger/godelt github similar
• pittsburgh-haskell/pittsburgh-haskell-logo github similar
• jdoughertyii/hott-exercises github similar
• sspeight93/Papers github similar
• pigworker/LibAgda github similar
• jonsterling/twelf-nbe github similar
• jpaykin/DifferentialCohesiveHoTT github similar
• mikeshulman/hott-categories github similar
• mietek/coquand github similar
• 5HT/nying.ma github similar
• soimort/idris-commonmark github similar
• tonymorris/fp-for-business github similar
• o29/n2o github similar
• peterlefanulumsdaine/cartmell-thesis github similar
• tonymorris/scalaz-history github similar
• relrod/tryidris-android github similar
• IanOrton/decomposing-univalence github similar
• RobertHarper/hott-notes github similar
• amutake/coq-extensible-effects github similar
• nmvdw/Three-HITs github similar
• ezyang/HoTT-coqex github similar
• nmvdw/groupoids github similar
• AndrasKovacs/preordertt github similar
• runarorama/lambda github similar
• simpleenergy/se-stream-xml github similar
• edahlgren/100-lengths-in-Haskell github similar
• puffnfresh/scrappy github similar
• xuwei-k/iarray github similar
• CategoricalData/catdb github similar
• jdoughertyii/hott-species github similar
• bacam/coqjvm github similar
• dschepler/coq-topology github similar