| 2008-06-02 04:55 |
portnov |
Do eta-reduction only as last phase, after eval().master |
commitdiff tree tar/gz zip patch |
| 2008-06-01 15:45 |
portnov |
Bugfix in alpha-covnersion. |
commitdiff tree tar/gz zip patch |
| 2008-06-01 15:33 |
portnov |
Fix warning for recursive assignments. |
commitdiff tree tar/gz zip patch |
| 2008-06-01 15:19 |
portnov |
Remove redudant eval() call. |
commitdiff tree tar/gz zip patch |
| 2008-06-01 15:14 |
portnov |
Delete unneeded *.pyc files. |
commitdiff tree tar/gz zip patch |
| 2008-06-01 15:13 |
portnov |
Eta-reduction added. |
commitdiff tree tar/gz zip patch |
| 2008-06-01 14:55 |
portnov |
data2.py actually added. |
commitdiff tree tar/gz zip patch |
| 2008-06-01 14:55 |
portnov |
Almost full rewrite of alpha-conversion and beta-r |
commitdiff tree tar/gz zip patch |
| 2008-05-13 14:57 |
portnov |
Initial import. |
commitdiff tree tar/gz zip patch |