plaidfinch/Haskell-Foldl-Library
Composable, streaming, and efficient left folds
Very low feature GHCi based IDE
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Composable, streaming, and efficient left folds
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.