Implementing Clojure-like transducers in Idris: Definitions and main concepts

No comments yet.