I learned today, via a friend at Facebook, that there are people there who do some Idris as a bit of a hobby. This is great! Thanks! But...https://twitter.com/edwinbrady/status/1094001130546360320 …
-
-
I'm almost certainly going to wish I hadn't said this soon enough, but really, all I've done is hack on some interesting ideas that (mostly) other people have invented. Come and say hello :).
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.