Asked @edwinbrady about introductory material for Idris/dep. types 4 months ago. Told me to ask again in 6 months.
https://twitter.com/edwinbrady/status/641985802159976449 …
@ehamberg You might have to ask me yet again in another 6 months, but we're getting there :)
-
-
@edwinbrady Absolutely. Really happy to see this! :)Thanks. 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.