D deque.blog Implementing Clojure-like transducers in Idris: Definitions and main concepts 1 points deque-blog 9 years ago 0 comments