LeifW/IdrisNet2
A proper network library for Idris, now that I know what I'm doing.
Public GitHub Catalog
Discovered Sep 26, 2026
LeifW / Idris-presentation
Presented at PDXFunc on 12/10/2012
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7252530GitHub System ID
LeifWOrganization / User
PublicVisibility
ActiveCatalog Status
More from LeifW
LeifW/learnhaskell
Learn Haskell
LeifW/wartremover
Flexible Scala code linting tool
LeifW/scalaz-contrib
Interoperability libraries & additional data structures and instances for Scalaz