Rare find

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

github.com/SimonJF/IdrisNet2

Problem

Audience

Updates

No founder updates yet. Check back soon.