Skip to content

Add support for functions from System.Environment #433

@jespercockx

Description

@jespercockx

For writing programs that do basic IO, it would be good to have support for the functions from System.Environment such as getArgs and getEnv.

Metadata

Metadata

Assignees

Labels

enhancementNew feature or requestgood first issueGood for newcomerslibraryFor issues in and enhancements to the agda2hs libraries (currently prelude and containers)

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions