plaidfinch/ghcid
Very low feature GHCi based IDE
Composable, streaming, and efficient left folds
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Very low feature GHCi based IDE
GADT-style type witnesses for the Peano naturals. Useful in dependent-types-ish kind of situations.
Bidirectionally infinite streams, akin to the tape of a Turing machine.
Length-indexed and "conic" lists, along with functions to convert between them.