"Type-Driven Development in Idris" by @edwinbrady at @scalaworldconf
Very inspiring from a scala user perspective
https://youtu.be/X36ye-1x_HQ
Me too :). Idris is pretty basic right now, just a brute force search, but it works surprisingly well. It’ll get better!
-
-
looking forward to it!
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.