search

gap-packages / io

GAP package IO to do input and output
https://gap-packages.github.io/io/
Other
14 stars 14 forks source link

Add `setenv` wrapper #109

Closed fingolfin closed 1 year ago

fingolfin commented 2 years ago

Originally requested at https://github.com/gap-system/gap/issues/3166