notogawa/haiji
A typed template engine, subset of jinja2
MySQL User Defined Function to evaluate Haskell expression
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 typed template engine, subset of jinja2
Type-level sets for Haskell (with value-level counterparts and various operations)
agda --interactive websocket server
example haskell project with agda code generation