diff options
| author | Pierre-Marie Pédrot | 2016-02-03 18:39:15 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-02-03 20:24:06 +0100 |
| commit | 62c141be71dd3c542824c19429eac0fdd686c9cb (patch) | |
| tree | be06b8dd5a8326bfbb07ea52a14208d71a509f13 /kernel/nativelambda.ml | |
| parent | 0ee0b7d2f2365da6e63bc2e94d66f9c5fe1ebe6a (diff) | |
Optimizing the computation of frozen evars.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions