[excited bouncing] just got a copy of @EdwinBrady's "Type-Driven Development with Idris" as today's present from the Amazon-fairy. Wanted something a bit more real-world (sorry Edwin, awfully rude to accuse an academic of that I know :-) to read alongside The Little Typer.
Replying to @DrHydeous
Don't worry, it doesn't go *that* far :)
10:29 AM - 20 Mar 2019
0 replies
0 retweets
1 like
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.