diff options
| author | Pierre-Marie Pédrot | 2018-06-28 18:55:31 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-06-29 12:09:23 +0200 |
| commit | ee2a093d75b2341550d180d6f95ac31b527f4578 (patch) | |
| tree | 6ed96e70675a37f8f7c6987651d6c4b4d66fb57e /kernel/nativelambda.mli | |
| parent | acbc42ad1da48be53456c0d41ec2e60ae2d6e642 (diff) | |
More efficient abstraction over variables in Cooking.
Instead of repeatedly replacing the variables with a De Bruijn index and
closing it, we do this in one pass. We furthermore share the abstraction
over the context.
This source of slowdown was observed in lambda-rust.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions