Name Date Size

.. 2013-11-29 10:33:42 4

BoolEx.hascasl 2004-05-26 13:05:54 676

BoolEx.hascasl.hs 2013-11-29 10:33:42 1.1 KiB

Builtin.hascasl 2005-05-30 17:55:20 108

Builtin.hascasl.hs 2013-11-29 10:33:42 669

Expr.hascasl 2005-01-31 18:27:33 190

Expr.hascasl.hs 2013-11-29 10:33:42 665

FiniteSet.hascasl 2004-05-26 22:41:27 185

FiniteSet.hascasl.hs 2013-11-29 10:33:42 1.4 KiB

Foldl.hascasl 2005-01-11 10:18:00 280

Foldl.hascasl.hs 2010-08-11 02:17:31 508

ListEx.hascasl 2007-07-19 10:59:35 66

ListEx.hascasl.hs 2013-11-29 10:33:42 593

Makefile 2006-03-20 17:33:04 161

NatEx.hascasl 2004-05-26 22:41:27 67

NatEx.hascasl.hs 2010-08-11 02:17:31 587

OpDecls.hascasl 2003-07-24 13:36:54 79

OpDecls.hascasl.hs 2013-11-29 10:33:42 989

Pair.hascasl 2004-05-26 22:41:27 143

Pair.hascasl.hs 2010-08-11 02:17:31 949

PatternEq.hascasl 2004-05-26 13:05:54 138

PatternEq.hascasl.hs 2013-11-29 10:33:42 927

runcheck.sh 2005-06-16 10:22:18 409

Sorting.hascasl 2004-06-09 22:21:08 1.3 KiB

Sorting.hascasl.hs 2013-11-29 10:33:42 3 KiB

Test.hascasl 2004-05-26 13:05:54 112

Test.hascasl.hs 2013-11-29 10:33:42 1.3 KiB