Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2003-11-16 | * Some utility functions for working with ATerms. | Eelco Dolstra | 1 | -18/+25 |
2003-11-09 | * Turned the msg() and debug() functions into macros, since they | Eelco Dolstra | 1 | -5/+5 |
2003-11-06 | * Allow null in derivation bindings. | Eelco Dolstra | 1 | -0/+2 |
2003-11-06 | * `null' is a nullary primop. | Eelco Dolstra | 1 | -1/+1 |
2003-11-05 | * Assertions. | Eelco Dolstra | 1 | -0/+13 |
2003-11-03 | * Work around problems with the ATerm library. | Eelco Dolstra | 1 | -7/+9 |
2003-11-02 | * Boolean constants. | Eelco Dolstra | 1 | -2/+2 |
2003-11-02 | * Primops: baseNameOf, toString. | Eelco Dolstra | 1 | -0/+19 |
2003-10-31 | * Working evaluator. | Eelco Dolstra | 1 | -0/+206 |