/IdrisNet2

A proper network library for Idris, now that I know what I'm doing.

Primary LanguageIdrisMIT LicenseMIT

Stargazers