Name Date Size

.. 2014-06-27 16:16:14 53

Alias.hascasl 2009-07-03 18:38:45 381

Alias.hascasl.output 2014-06-27 16:16:14 2 KiB

And.hascasl 2008-08-15 17:21:36 155

And.hascasl.output 2012-12-04 14:27:23 473

AsPattern.hascasl 2004-06-16 21:26:57 47

AsPattern.hascasl.output 2012-12-04 14:27:23 178

B1.hascasl 2009-06-30 02:24:11 298

B1.hascasl.output 2013-04-19 22:10:16 1.5 KiB

BasicSpec.casl.output 2012-02-22 14:10:08 56.6 KiB

BasicSpec.hascasl 2008-07-04 17:25:01 1.1 KiB

BasicSpec.hascasl.output 2014-06-27 16:16:14 6.9 KiB

BasicSpec.hascasl.parser.output 2008-09-24 02:18:09 1.2 KiB

Binder.hascasl 2008-04-17 02:10:47 259

Binder.hascasl.output 2013-04-19 22:10:16 1,013

BoundedOrd.hascasl 2007-07-30 15:55:18 842

BoundedOrd.hascasl.output 2013-04-19 22:10:16 6.4 KiB

CastFun.hascasl 2005-06-24 12:40:03 59

CastFun.hascasl.output 2013-04-19 22:10:16 420

Chain.hascasl 2007-06-29 17:23:34 332

Chain.hascasl.output 2014-06-27 16:16:14 1.3 KiB

Classical.hascasl 2008-08-15 16:59:00 684

Classical.hascasl.output 2012-12-04 14:27:23 2.2 KiB

ClassKinds.hascasl 2008-08-19 12:34:29 148

ClassKinds.hascasl.output 2008-08-19 12:34:29 246

CMonad.hascasl 2008-07-04 17:25:01 457

CMonad.hascasl.output 2014-06-27 16:16:14 2 KiB

CompoundList.hascasl 2007-08-14 10:52:37 79

CompoundList.hascasl.output 2010-02-11 17:44:22 187

Constrain.hascasl 2004-07-02 18:21:34 129

Constrain.hascasl.output 2013-04-19 22:10:16 502

ContraVariance.hascasl 2009-07-03 18:38:45 204

ContraVariance.hascasl.output 2013-04-19 22:10:16 471

Coproducts.hascasl 2007-06-18 18:09:05 721

Coproducts.hascasl.output 2014-06-27 16:16:14 2.9 KiB

CTree.hascasl 2008-08-19 13:46:36 1.1 KiB

CTree.hascasl.output 2014-06-27 16:16:14 7.6 KiB

Def.hascasl 2008-08-18 17:31:25 73

Def.hascasl.output 2012-12-04 14:27:23 263

Double.hascasl 2005-07-25 18:36:48 242

Double.hascasl.output 2013-04-19 22:10:16 1.4 KiB

EmptyLambda.hascasl 2005-06-30 12:25:50 14

EmptyLambda.hascasl.output 2009-07-02 21:08:08 29

Expr.hascasl 2004-11-01 17:14:00 190

Expr.hascasl.output 2011-10-05 11:01:40 936

Flag.hascasl 2008-08-18 13:30:58 247

Flag.hascasl.output 2012-12-04 14:27:23 1.1 KiB

Foldl.hascasl 2005-01-12 18:27:42 151

Foldl.hascasl.output 2013-04-19 22:10:16 644

Freetype.hascasl 2009-04-17 11:48:41 122

Freetype.hascasl.output 2014-06-27 16:16:14 1.6 KiB

Functor.hascasl 2008-08-18 11:45:39 945

Functor.hascasl.output 2014-06-27 16:16:14 4.7 KiB

FunctorMonadTransformer.hascasl 2008-07-04 17:25:01 1.2 KiB

FunctorMonadTransformer.hascasl.output 2014-06-27 16:16:14 11.7 KiB

Graphs.hascasl 2013-11-29 03:57:59 1 KiB

Graphs.hascasl.output 2013-11-29 10:35:53 4.9 KiB

Items.hascasl 2009-07-03 18:38:45 285

Items.hascasl.output 2009-07-03 18:38:45 311

Kinds.hascasl 2005-07-05 19:58:24 70

Kinds.hascasl.output 2005-07-08 02:02:24 85

Lazy.hascasl 2007-06-19 16:09:29 90

Lazy.hascasl.output 2010-02-11 17:44:22 213

ListEx.hascasl 2008-08-15 18:35:26 687

ListEx.hascasl.output 2013-04-19 22:10:16 5.9 KiB

Makefile 2005-01-25 16:17:41 137

MixfixFormula.casl.output 2013-04-19 22:10:16 480

MixfixTerms.casl.output 2013-04-19 22:10:16 1.5 KiB

MixfixTerms.hascasl 2007-02-23 17:35:11 773

MixfixTerms.hascasl.output 2008-08-19 16:43:34 817

MixIds.casl.output 2013-02-01 10:15:04 1.1 KiB

NAdd.hascasl 2008-09-04 16:21:48 76

NAdd.hascasl.output 2012-12-04 14:27:23 564

Num.hascasl 2005-06-21 19:26:55 117

Num.hascasl.output 2012-12-04 14:27:23 315

OpDecls.hascasl 2009-06-18 02:06:19 779

OpDecls.hascasl.output 2013-04-19 22:10:16 5.2 KiB

OpWithInst.hascasl 2008-07-04 17:25:01 1,002

OpWithInst.hascasl.output 2013-04-19 22:10:16 7.4 KiB

Pair.hascasl 2008-09-04 13:13:05 159

Pair.hascasl.output 2014-06-27 16:16:14 2 KiB

PatternEq.hascasl 2003-06-27 16:37:56 338

PatternEq.hascasl.output 2013-04-19 22:10:16 1.7 KiB

Per.hascasl 2007-09-11 11:31:42 455

Per.hascasl.output 2013-04-19 22:10:16 2.7 KiB

PetriSystemCategory.hascasl 2004-10-22 10:46:14 4.2 KiB

PetriSystemCategory.hascasl.output 2014-06-27 16:16:14 28.7 KiB

Phantom.hascasl 2008-07-22 11:00:55 87

Phantom.hascasl.output 2014-06-27 16:16:14 476

PlainTypes.hascasl 2005-07-11 16:56:46 430

PlainTypes.hascasl.output 2014-06-27 16:16:14 2 KiB

Prelude.hascasl 2009-07-03 18:38:45 4.9 KiB

Prelude.hascasl.output 2014-06-27 16:16:14 16.1 KiB

Product.hascasl 2008-12-17 16:32:11 253

Product.hascasl.output 2012-12-04 14:27:23 2.6 KiB

runcheck.sh 2004-05-06 02:26:39 798

StateMonad.hascasl 2008-08-19 18:23:27 334

StateMonad.hascasl.output 2014-06-27 16:16:14 2.3 KiB

Subtype.hascasl 2008-09-04 13:13:05 766

Subtype.hascasl.output 2013-04-19 22:10:16 4.5 KiB

Subtype2.hascasl 2008-08-22 12:03:31 142

Subtype2.hascasl.output 2012-12-04 14:27:23 949

Subtype3.hascasl 2008-08-22 12:03:31 66

Subtype3.hascasl.output 2012-12-04 14:27:23 305

Subtype4.hascasl 2008-08-18 19:04:46 111

Subtype4.hascasl.output 2012-12-04 14:27:23 382

Subtype5.hascasl 2008-09-04 13:13:05 73

Subtype5.hascasl.output 2014-06-27 16:16:14 470

SuperClass.hascasl 2008-08-29 10:34:25 275

SuperClass.hascasl.output 2012-12-04 14:27:23 635

Supertype.hascasl 2007-06-11 16:03:03 73

Supertype.hascasl.output 2010-02-11 17:44:22 322

Terms.hascasl 2008-08-18 17:26:21 1.3 KiB

Terms.hascasl.output 2007-08-10 20:07:33 1.5 KiB

Types.hascasl 2012-02-22 14:10:08 1.4 KiB

Types.hascasl.output 2004-04-27 19:53:13 1.7 KiB

WrongBasicSpec.hascasl 2003-05-06 22:08:05 33

WrongBasicSpec.hascasl.output 2007-02-02 14:40:44 35

WrongItems.hascasl 2009-07-03 18:38:45 87

WrongItems.hascasl.output 2013-02-01 10:15:04 397

WrongKinds.hascasl 2005-07-05 19:58:24 417

WrongKinds.hascasl.output 2013-02-01 10:15:04 1.9 KiB

WrongMixfixTerms.hascasl 2007-02-23 17:35:11 170

WrongMixfixTerms.hascasl.output 2013-04-19 22:10:16 1.1 KiB

WrongMixIds.casl.output 2013-02-01 10:15:04 2.6 KiB

WrongMixIds.hascasl 2003-05-06 22:08:05 189

WrongTerms.hascasl 2004-10-22 10:46:14 354

WrongTerms.hascasl.output 2013-02-01 10:15:04 4 KiB

WrongTypes.hascasl 2012-02-22 14:10:08 138

WrongTypes.hascasl.output 2013-02-01 10:15:04 1.8 KiB

XInternal.hascasl 2003-09-25 17:38:42 52

XInternal.hascasl.output 2012-09-21 10:27:24 115

XUnion.hascasl 2003-11-26 17:40:47 269

XUnion.hascasl.output 2014-06-27 16:16:14 2.1 KiB

YCombinator.hascasl 2005-06-30 19:49:56 159

YCombinator.hascasl.output 2012-12-04 14:27:23 443

ZMapArgs.hascasl 2005-04-08 15:39:23 442

ZMapArgs.hascasl.output 2014-06-27 16:16:14 1.5 KiB