3 ms·Implementing Clojure-like transducers in Idris: Definitions and main concepts1 points by deque-blog 9y ago