pachopepe/Idris-dev
A Dependently Typed Functional Programming Language
Developer Profile
pachopepe
Discovered public repositories for pachopepe in the GitHub catalog.
pachopepe/Calculational
The calculational package provides a syntax, similar to the one used in calculational mathematics for defining quantifiers, lists, sets, and bags. A novelty in Calculational is that such objects can be executed!
pachopepe/yesod
A RESTful Haskell web framework built on WAI.
pachopepe/Logo
Yesod logo proposal
pachopepe/yesoddocs
Yesod Web Framework documentation site