Skip to content
GitLab
Explore
Sign in
Vcsn
Vcsn
Issues
#175
complete: keep the origins
It is bad that
a.determinize().proper()
loses the origins.