Re:Clojure will affect the way you think about programming
by lgas on Friday August 04, 2017 @02:31PM
(#14930807)
You might find this work on composable well-typed transducers in Idris interesting: https://deque.blog/2017/08/04/transducers-in-idris-2/
[ Parent
| on HN ]
There are no comments on this comment yet.