stepcut/Idris-dev
A Dependently Typed Functional Programming Language
Haml-like template files that are compile-time checked
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A Dependently Typed Functional Programming Language
make virtual lights blink on and off using FRP
A pipes based interface to System.Process
Generate standalone haddock documentation for a set of packages