3 ms·Implementing Clojure-like Transducers in Idris: definitions and main concepts1 points by ghosthamlet 9y ago