@PaulTypes I've liked every talk I've seen @edwinbrady give on #idris but still feel like a pre-literate child when I read the docs
-
-
This Tweet is unavailable.
-
@PaulTypes
@feyeleanor it's only really a crash course. It makes a lot of assumptions about the reader, so we need something better.1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@PaulTypes
@feyeleanor for example, it never bothers explaining anything about syntax, which makes it challenging for non Haskell folks.1 reply 0 retweets 1 like -
Replying to @edwinbrady
@edwinbrady @PaulTypes syntax is probably the biggest problem for me - even though I've worked through a few Haskell tutorials it's alien1 reply 0 retweets 0 likes
Replying to @feyeleanor
@feyeleanor @PaulTypes I think the only way to learn syntax in the end is by using it. Not much else I can do about that really!
5:01 AM - 12 Jun 2015
0 replies
0 retweets
0 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.