Hacker News new | ask | show | jobs
Implementing Clojure-like transducers in Idris: Definitions and main concepts (deque.blog)
1 points by deque-blog 3254 days ago