| Name | Last modified | Size |
|---|---|---|
| Parent Directory | - | |
| Overload.hs | 2005-07-21 02:12 | 303 |
| PreludeInt.hs | 2003-05-28 01:22 | 3.3K |
| PreludeProps.hs | 2006-08-12 01:30 | 8.6K |
| Primes.hs | 2005-05-11 22:52 | 542 |
| RecPred.hs | 2005-02-09 06:10 | 79 |
| Simple1.hs | 2003-04-18 01:04 | 1.0K |
| Test0Proofs.alfa | 2006-07-06 02:13 | 3.1K |
| Test1Proofs.alfa | 2005-02-24 00:51 | 1.5K |
| Word12a.hs | 2006-03-01 02:09 | 4.3K |
| recreate0.sh | 2006-08-12 01:30 | 1.7K |
| test0.hs | 2006-08-12 01:30 | 4.5K |
| test00.hs | 2005-01-20 23:15 | 428 |
| test1.hs | 2005-06-01 21:58 | 936 |
| testPrelude.hs | 2003-04-18 01:04 | 2.6K |