IdrisNet2 icon indicating copy to clipboard operation
IdrisNet2 copied to clipboard

Published 20 hours ago • verified publisher icon SimonJF
→

Metadata

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

IdrisNet2

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

← Metadata

57
Stars
8
Forks
Watchers

Owner

verified publisher icon SimonJF

Metadata

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

Back