diff options
| author | Brian Campbell | 2018-09-07 16:52:08 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-09-11 17:51:09 +0100 |
| commit | ae8a62a69cca609e7ce29bc08e7770d6c4c245e7 (patch) | |
| tree | 15edb1f6155904d83cd32b7ddbd323753f4d56ef /src/lem_interp/interp_interface.lem | |
| parent | 626ec60989be7bc2e11d9bbf6cc2b65ed0d18cbe (diff) | |
Coq: remove a bunch of Lem-isms
In particular, the complicated "what nexps are in scope" test can be
replaced by a simple "are the nvars in scope" check.
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
0 files changed, 0 insertions, 0 deletions