| commit | f1660aa7d31997aeba7c3eed28159a559eb4b297 | |
| author | Dionysus Blazakis <dion@semantiscope.com> | |
| Tue, 7 Oct 2008 13:15:47 +0000 (7 09:15 -0400) | ||
| committer | Dionysus Blazakis <dion@semantiscope.com> | |
| Tue, 7 Oct 2008 13:15:47 +0000 (7 09:15 -0400) | ||
| tree | 96f5065c1e201c786dabb67aa93bdb0c2c4ec4f9 | treesnapshot (tar.gz zip) |
| parent | fb5df8c672d516fe29b855f56e776d68028cc780 | commitdiff |
- Add the (buggy) monadified version
- Latest cleanups to the original version
- Latest cleanups to the original version
| DPLL-Monad.hs | [copied from DPLL.lhs with 71% similarity] | diffblobblamehistory |
| DPLL.lhs | diffblobblamehistory |