diff options
| author | Gaëtan Gilbert | 2019-11-04 16:23:38 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-11-04 16:23:38 +0100 |
| commit | d3a193260bfa28c9205c64718f6a4c57ee17ea0a (patch) | |
| tree | f588c70a184c2c62a48a49271dc0260183000392 /kernel/nativelambda.mli | |
| parent | 634cb7b8a07a34fc29d074591091f0a6170f7bff (diff) | |
Cite POPL19 SProp paper
Close #10242
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions