Geeks
ilya-fiveisky
/
agda-network
Wrapper for haskell network package.
Primary Language
Agda
The Unlicense
Unlicense
agda-network GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
agda-network
Wrapper for haskell network package.