Speaking about the future, do you consider submitting a paper on Idris for https://hopl4.sigplan.org/ ? Idris will be mature enough by 2020, I hope!
-
-
-
Hmm, I don't know about Idris, but a team effort on the development of dependent types in programming languages might be interesting.
End of conversation
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.