PinnedLoading

1. milewski-ctfp-pdfmilewski-ctfp-pdfPublic

   Forked fromhmemcpy/milewski-ctfp-pdf

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

   TeX

2. PublicationsPublicationsPublic

   Forked fromBartoszMilewski/Publications

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

   Haskell

3. dottydottyPublic

   Forked fromscala/scala3

   The Scala 3 compiler, also known as Dotty.

   Scala

4. SymmetryBookSymmetryBookPublic

   Forked fromUniMath/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_calculus2006_03_Homotopy_lambda_calculusPublic

   Forked fromUniMath/2006_03_Homotopy_lambda_calculus

   Voevodsky's 2006 paper on homotopy lambda calculus

6. cubical-hott-agdacubical-hott-agdaPublic

   Forked fromUlrikBuchholtz/cubical-hott-agda

   Version of the HoTT-Agda library based on Cubical Agda