There will be small differences, but only in the interest of improving things, and the new stuff is compatible. Changes are mostly to do with type erasure, and I'm considering adding an Idris 1 compatibility mode, if only for learning purposes.
-
-
Show this thread
-
At the very least, I'll make sure updated code is online! And I suppose this is as good a point as any for another gratuitous plug. https://www.manning.com/books/type-driven-development-with-idris … with 50% off the eBook today (20181217) via https://www.manning.com/dotd !
Show this thread
End of conversation
New conversation -
-
-
Thanks!!!
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.