rntz/parse-dsl
Experimenting with syntax for a parser-combinator dsl.
research re type theory of linking
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Experimenting with syntax for a parser-combinator dsl.
Elm mode for emacs
Arithmetic calculator with customizable infix operators
lazy potentially infinite streamable sets in Haskell