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!
Yesod logo proposal
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
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!
A RESTful Haskell web framework built on WAI.
Yesod Web Framework documentation site