Pinned Loading

1. milewski-ctfp-pdf milewski-ctfp-pdf Public

   Forked from hmemcpy/milewski-ctfp-pdf

   Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

   TeX

2. Publications Publications Public

   Forked from BartoszMilewski/Publications

   Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

   Haskell

3. dotty dotty Public

   Forked from scala/scala3

   The Scala 3 compiler, also known as Dotty.

   Scala

4. SymmetryBook SymmetryBook Public

   Forked from UniMath/SymmetryBook

   This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

   HTML 1

5. 2006_03_Homotopy_lambda_calculus 2006_03_Homotopy_lambda_calculus Public

   Forked from UniMath/2006_03_Homotopy_lambda_calculus

   Voevodsky's 2006 paper on homotopy lambda calculus

6. cubical-hott-agda cubical-hott-agda Public

   Forked from UlrikBuchholtz/cubical-hott-agda

   Version of the HoTT-Agda library based on Cubical Agda