diff options
| -rw-r--r-- | todo | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -143,10 +143,6 @@ C pbp code doesn't quite accord with the tech report; in particular it A fix Pbp implementation (10h; tms) -A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l, - annotations are recorded in the object file. This needs to be - changed in the SML code. (initially 2h tms) - C Mechanism to save object file B Equiv, Next,... aren't handled properly, because LEGO does not |