| Wed, 24 Mar 2010 16:06:31 +0100 |
Cezary Kaliszyk |
Solved one of the strong-induction goals.
|
file |
diff |
annotate
|
| Wed, 24 Mar 2010 13:54:20 +0100 |
Cezary Kaliszyk |
Started proving strong induction.
|
file |
diff |
annotate
|
| Wed, 24 Mar 2010 12:36:58 +0100 |
Cezary Kaliszyk |
stating the strong induction; further.
|
file |
diff |
annotate
|
| Wed, 24 Mar 2010 12:05:38 +0100 |
Cezary Kaliszyk |
Working on stating induct.
|
file |
diff |
annotate
|
| Wed, 24 Mar 2010 12:03:48 +0100 |
Cezary Kaliszyk |
Showed support of Core Haskell
|
file |
diff |
annotate
|
| Wed, 24 Mar 2010 10:55:59 +0100 |
Cezary Kaliszyk |
Experiments with Core Haskell support.
|
file |
diff |
annotate
|
| Wed, 24 Mar 2010 08:45:54 +0100 |
Cezary Kaliszyk |
Core Haskell experiments.
|
file |
diff |
annotate
|
| Tue, 23 Mar 2010 16:28:29 +0100 |
Cezary Kaliszyk |
Parsing bn functions that call other bn functions and transmitting this information to fv/alpha.
|
file |
diff |
annotate
|
| Tue, 23 Mar 2010 11:42:06 +0100 |
Cezary Kaliszyk |
Modification to Core Haskell to make it accepted with an empty binding function.
|
file |
diff |
annotate
|
| Tue, 23 Mar 2010 09:56:29 +0100 |
Cezary Kaliszyk |
Initial list unfoldings in Core Haskell.
|
file |
diff |
annotate
|
| Tue, 23 Mar 2010 09:06:28 +0100 |
Cezary Kaliszyk |
Added missing file
|
file |
diff |
annotate
|