domdere/logic-idris
proposition combinators in [Idris]
HTML Source code for www.RestApiTutorial.com
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
proposition combinators in [Idris]
Code-A-Long for Certified Programming with Dependent Types [Idris]
Construct and run Hadoop MapReduce programs in Haskell
Liquid Types For Haskell