Working through Idris book w “type every example, do every exercise” method. Maybe finish over leave if I can get through 1 chapter a day
-
-
Feels pretty magical! Was always fuzzy but curious when I heard talks about dependent types. Idris + the book makes for much better learning
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.