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 IO_getenv, IO_setenv, IO_unsetenv #118

Closed fingolfin closed 1 year ago

fingolfin commented 1 year ago

Resolves #109