\

Profunctor Equipment in Haskell

17 points - last Saturday at 3:18 PM

Source
  • Garlef

    today at 7:51 AM

    I was hoping for applications.

      • Syzygies

        today at 8:28 AM

        I was hoping for Lean 4.