Idris is now the industry go-to for dependent typed languages, next is Whitespace for the web?
-
-
-
I generally felt it was more appropriate for cryptography and security. Incidentally, I've decided the workshop name "CAAT" should be pronounced "longcat".
End of conversation
New conversation -
-
-
(typed) computer algebra is feasible. What we still don't know how to do is typed computer analysis. Or even typed symbolic-computation-for-calculus. The current algorithms are known to have holes (to remain polite).
-
Indeed. I think one of the goals here is to get more people to recognise that it's feasible.
End of conversation
New conversation -
-
-
What do you think about Axiom?
-
I don't know anything about it...
- 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.