Pinned Loading

1. haskell-resources haskell-resources Public

   A List of Foundational Haskell Papers

   JavaScript 883 73

2. optics-resources optics-resources Public

   Resources for the aspiring optician

   43 4

3. Isomorphic-Reasoning Isomorphic-Reasoning Public

   Isomorphic Reasoning: Counting with Types

   TeX 38 3

4. cats-in-context cats-in-context Public

   TeX 9

5. Type-Arithmetic-and-the-Yoneda-Perspective Type-Arithmetic-and-the-Yoneda-Perspective Public

   Slides for Scalaworld 2019

   TeX 15 1

6. invitation-to-haskell invitation-to-haskell Public

   TeX 1