Okay this one is the besthttps://twitter.com/porglezomp/status/988986781604380672 …
-
-
Replying to @hillelogram
I've updated it to include a prose description of how it works, with some explanation for people who aren't familiar with / are rusty with Idris (or with dependent types for proofs in general).https://gist.github.com/porglezomp/e941da088e462bc76a5080a46f904834#file-leftpad-md …
1 reply 2 retweets 8 likes -
Replying to @porglezomp
Thank you for fixing my brain.
@edwinbrady you need to see this1 reply 0 retweets 2 likes
Replying to @hillelogram @porglezomp
That is rather neat
11:49 PM - 24 Apr 2018
0 replies
0 retweets
5 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.