Last time I remember @d_christiansen saying "Imagine how awesome Idris would be if we could do this all the time". Indeed :).
-
-
Show this thread
-
It seems that there's enough interest that I should definitely make this happen. Please nag me until I do...
Show this thread
End of conversation
New conversation -
-
-
Who is this workshop targetted at? People who already have an understanding of the implementation of Idris 1 (or another dependently typed lang)? Or is it accessible to any dev with an interest in understanding Idris 2's implementation?
-
Depends who comes... I haven't planned anything at all yet, just trying to see what interest there is. The Idris 2 internals are mostly not very much like Idris 1 at all.
- 1 more reply
New conversation -
-
-
And some people need a lot of notice so the earlier it's organized the better...
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.