aboutsummaryrefslogtreecommitdiff
path: root/src/Data/StableName
diff options
context:
space:
mode:
authorTom Smeding <t.j.smeding@uu.nl>2024-08-28 16:12:15 +0200
committerTom Smeding <t.j.smeding@uu.nl>2024-08-28 16:12:15 +0200
commit2870da310256a137971a6a661801dcdf9dedd818 (patch)
treed55359df3d6d1f9b25a9a0bee8e5f636277972da /src/Data/StableName
parent5a0ce21e12e765125ad8068e919cf97b70df8257 (diff)
Rename "lifting" to "floating"
The paper calls it floating, and that's a less overloaded term.
Diffstat (limited to 'src/Data/StableName')
0 files changed, 0 insertions, 0 deletions