@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
-
-
@edwinbrady @PaulTypes syntax is probably the biggest problem for me - even though I've worked through a few Haskell tutorials it's alien -
@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!
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.