bitonic/hsenv
Virtual Haskell Environment builder
BNF Converter
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Virtual Haskell Environment builder
Public repository.
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
2048 + AI in Haskell