@edwinbrady : Could you express the type Rich Hickey verbally describes here (http://www.reddit.com/r/haskell/comments/2kro78/typesafe_transducers_in_clojure_scala_and_haskell/clo910y …) in Idris?
Replying to @GabrielG439
@GabrielG439 If we’re just talking state machines, yes. Here’s a (shortened) introductory example I like to use: https://gist.github.com/edwinb/792e8d11ab71ccbdbebc …
8:12 AM - 31 Oct 2014
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.