@edwinbrady what's the best way to learn Idris coming from Coq/Agda background?
-
-
@edwinbrady well that sounds great! I'll put this on the schedule for sometime soon! -
@krismicinski@edwinbrady we can do some neighborhood Idris hacking! - 1 more reply
New conversation -
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.