Popular repositories Loading

1. plfa-idris plfa-idris Public

   Idris 5

2. hs2048 hs2048 Public

   Forked from ptigwe/hs2048

   A port of 2048 using Haskell and Miso

   Haskell

3. purescript-jordans-reference purescript-jordans-reference Public

   Forked from JordanMartinez/purescript-jordans-reference

   Learn PureScript with this "clone and play" repository

   PureScript

4. Spreads Spreads Public

   A typed spreadsheet

   Haskell

5. plfa.github.io plfa.github.io Public

   Forked from plfa/plfa.github.io

   An introduction to programming language theory in Agda (Solved exercises, DON'T READ IT IF YOU DON'T WANNA SPOIL IT)

   HTML

6. agda-optics agda-optics Public

   An exploration into optics laws using agda and profunctor optics.

   Agda