diff options
| author | Kathy Gray | 2014-07-04 14:53:27 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-07-04 14:53:36 +0100 |
| commit | 04934f061ed5dac10d112bdfd3fcbec7e8849dc3 (patch) | |
| tree | eca24ea71463593a77c5acec6129bb39b6b056a2 /src/lem_interp/interp_inter_imp.lem | |
| parent | 8522c1dbf5fc7b739a89873a1d86d45b11bc136f (diff) | |
Correct error of forgetting type information that was allowing more programs than it should have
Diffstat (limited to 'src/lem_interp/interp_inter_imp.lem')
0 files changed, 0 insertions, 0 deletions