Pinned

1. mikrokosmos Public

   (λ) Educational lambda calculus interpreter

   Haskell 54 10

2. vitrea Public

   Optics via the profunctor representation theorem

   Haskell 11 1

3. profunctor-optics-dissertation Public

   🔎 Profunctor optics and traversals, MSc Dissertation

   10

4. ctlc Public

   (λ) Category theory and lambda calculus, Bachelor's thesis

   Agda 29 2

5. libreim/blog Public

   Blog colaborativo sobre matemáticas e informática de la comunidad de @libreim.

   HTML 26 9

6. optics-form-a-category Public archive

   Note with a graphical proof that optics form a category

   3