-
-
-
Replying to @timothydsears
No need -
@edwinbrady has already written one: https://www.manning.com/books/type-driven-development-with-idris …2 replies 0 retweets 2 likes
Replying to @haskellhutt @timothydsears
Just swap the : and :: in http://www.cambridge.org/gb/academic/subjects/computer-science/programming-languages-and-applied-logic/programming-haskell-2nd-edition#egqs4ELY1KUbd0sC.97 … and you're there...
0 replies
0 retweets
8 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.