Pinned

1. mikrokosmos Public

   (λ) Educational lambda calculus interpreter

   Haskell 56 8

2. vitrea Public

   Optics via the profunctor representation theorem

   Haskell 12 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 31 2

5. libreim/blog Public

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

   HTML 27 9

6. optics-form-a-category Public archive

   Note with a graphical proof that optics form a category

   3