Age | Commit message (Expand) | Author |
---|---|---|
2003-11-18 | * "Nix expression" -> "store expression". | Eelco Dolstra |
2003-11-05 | * Assertions. | Eelco Dolstra |
2003-11-03 | * Work around problems with the ATerm library. | Eelco Dolstra |
2003-10-31 | * Working evaluator. | Eelco Dolstra |
2003-10-30 | * Bottomup rewrite function. | Eelco Dolstra |