| commit | 8e56450de598fcc018f2d53d403952490ec43486 | |
| author | Jan Moringen <jmoringe@techfak.uni-bielefeld.de> | |
| Sun, 16 Jul 2017 12:46:19 +0000 (16 14:46 +0200) | ||
| committer | Jan Moringen <jmoringe@techfak.uni-bielefeld.de> | |
| Mon, 17 Jul 2017 08:23:03 +0000 (17 10:23 +0200) | ||
| tree | 2f595dbd264d24eec3a513374f1bb6465691b432 | treesnapshot (tar.gz zip) |
| parent | 792d4c2348ec8a9ea36212f183c36d49a6be3002 | commitdiff |
New function CHECK-LAMBDA-LIST-NAMES
Avoids having to implement checks for invalid and repeated names and
repeated keyword in multiple places.
Use it in MAKE-LAMBDA-VARS and CHECK-GF-LAMBDA-LIST.
Avoids having to implement checks for invalid and repeated names and
repeated keyword in multiple places.
Use it in MAKE-LAMBDA-VARS and CHECK-GF-LAMBDA-LIST.