The Comonad.Readertypes, (co)monads, substructural logic

Guanxi: Logic Programming in Haskell

Edward Kmett

Four sessions on relational programming in Haskell.

  1. Guanxi: Logic Programming in Haskell — Part 1 of 4
  2. Guanxi: Logic Programming in Haskell — Part 2 of 4
  3. Guanxi: Logic Programming in Haskell — Part 3 of 4
  4. Guanxi: Logic Programming in Haskell — Part 4 of 4

All series