Experiments with type-level programming in Haskell, probably mostly just using Tic Tac Toe as our extended example.
- Solving Tony Morris' Tic Tac Toe Challenge, a. with the simplest possible type-level programming approach b. with the more complicated Ghosts of Departed Proofs technique / library
with more to come, hopefully