diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-05-29 18:51:53 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-05-29 18:51:53 +1000 |
| commit | b56213aac7ec15946a77ef23e9fc4ab9cd7f4acd (patch) | |
| tree | b1fa623f800e5ae52dd5c73d58ecfa3fc4ac9acf /Theorem.hs | |
| parent | 76d35ac9c971be42a7231050a3b7bdfbb79156f3 (diff) | |
Changed failure checking to monadic notation
Diffstat (limited to 'Theorem.hs')
0 files changed, 0 insertions, 0 deletions