diff options
| author | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-06-04 20:07:45 +0200 |
|---|---|---|
| committer | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-06-04 20:07:45 +0200 |
| commit | ee57a01ad607ca3102e3d1646e971d6f153c96c5 (patch) | |
| tree | dc89df780e77a4536120de6562d1e3c974d4baaf /Main.hs | |
| parent | e2ca97b7ec0417f32d283428ad9b1b7ff2e06e4a (diff) | |
| download | metatile-ee57a01ad607ca3102e3d1646e971d6f153c96c5.tar metatile-ee57a01ad607ca3102e3d1646e971d6f153c96c5.zip | |
Integral implies Eq
darcs-hash:20070604180745-a5988-bbeb0e2f34a21fe9853f67440e59929a1084c76d
Diffstat (limited to 'Main.hs')
0 files changed, 0 insertions, 0 deletions