Plan9 protocol implementation in Idris using @edwinb's Protocols
Primary LanguageIdris
This repository is not active