Commit graph

4 commits

Author SHA1 Message Date
Simon Cruanes
c8005f388a a few todos 2015-03-31 17:18:17 +02:00
Simon Cruanes
ceb68ee15f small fixes 2015-03-31 00:25:03 +02:00
Simon Cruanes
1d2780794f wip: a few simplifications in backtrack 2015-03-30 23:41:10 +02:00
Simon Cruanes
9002694aab wip: toy backtracking monad with lots'a GADTs (cc @aspiwack) 2015-03-30 23:33:38 +02:00