src/Curry/Base/Ident.hs · 2ade4fcf14dc50ef2bc79c348dbb185011f1369d · curry / curry-base · GitLab

Skip to content

GitLab

Explore

Sign in
Register

Oct 24, 2013
2ade4fcf

added extractOrigName function that extracts the original name of an identifier · 2ade4fcf
Matthias Böhm authored Oct 24, 2013

2ade4fcf

added extractOrigName function that extracts the original name of an identifier
Matthias Böhm authored Oct 24, 2013

Loading