Type-safe tic-tac-toe using Typesafe programming in Haskell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.



This is the code companion for this blog post;

Since this is a demonstration of type-level constraints it's not runnable in the traditional sense, but you can load it up using stack repl and tinker with it.

You'll want to look at these modules: