@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
@PaulTypes @feyeleanor it's only really a crash course. It makes a lot of assumptions about the reader, so we need something better.
-
-
@PaulTypes
@feyeleanor for example, it never bothers explaining anything about syntax, which makes it challenging for non Haskell folks. -
@edwinbrady @PaulTypes syntax is probably the biggest problem for me - even though I've worked through a few Haskell tutorials it's alien - 1 more reply
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.