diff options
| author | Robbert Krebbers | 2019-10-25 10:36:00 +0200 |
|---|---|---|
| committer | Robbert Krebbers | 2019-11-03 14:37:39 +0100 |
| commit | b47d2db97791bb9bfd0052b1be357ab78a960542 (patch) | |
| tree | 9ab97156b83e34764f522eec7ad464ad2dfdb6f4 /kernel/nativelambda.ml | |
| parent | ab8ed0a39e7e39573716a473618ed4f7c219d072 (diff) | |
Elan → Stratego in documentation of `rewrite_strat`.
@eelcovisser told me that the strategies in Luttik and Visser 97 were inspired
by Elan, but they are not part of Elan. They are part of the Stratego language.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions