@edwinbrady Thanks for writing https://www.manning.com/books/type-driven-development-with-idris … 
-
-
I have just started studying your book. I think it will help me to properly encode Hierarchical FSM :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I need to recover from all the untyped damage I receive daily in my job
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.