Giters

ilya-fiveisky / agda-network

Wrapper for haskell network package.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

agda-network

Wrapper for haskell network package.

About

Wrapper for haskell network package.

License:The Unlicense

Languages

Language:Agda 100.0%