heap_lang/lifting.v · aac318d7f5a166b45d185db5b3d3d5ca3616c10c · Marianna Rapoport / iris-coq · GitLab

Find file Blame History Permalink

Add a notion of a language based on evaluation context items · aac318d7
Ralf Jung authored Mar 30, 2016
```
and show that this is an instance of evaluation contexts
```
aac318d7