diff options
author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-27 14:42:33 +0200 |
---|---|---|
committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-27 14:42:33 +0200 |
commit | 189d02b12aa33fc18eaff9558675d9fa9d6ba668 (patch) | |
tree | bbaa136bcb5961452e89f103fa907cff65a9863e /GNUmakefile | |
parent | cb23a76bbd3b7b1ccf4a5ec8894437e449a9047d (diff) |
MLKInterpreter: Fix APPLY and %LAMBDA.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions