was idris designed by people who think haskell syntax isn't terse enough? i like it tho. probly time to learn me an idris.https://twitter.com/porglezomp/status/861677155478056962 …
-
-
yeah, I was just looking for it in my copy of TDD with Idris and couldn't find it :(
-
I seem to remember deciding to leave out !-notation because it didn’t add to the main point of the book. Might have been a mistake…
End of conversation
New conversation -
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.