yurrriq / flying-spaghetti-monster Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ctford/flying-spaghetti-monster
An Idris type provider for communicating type-checkable protocols.
License: BSD 3-Clause "New" or "Revised" License