Computer Algebra in the Age of Types. This could be fun... https://cicm-conference.org/2018/cicm.php?event=caat …
-
-
Replying to @edwinbrady
Idris is now the industry go-to for dependent typed languages, next is Whitespace for the web?
1 reply 0 retweets 6 likes
Replying to @trannosaurusma
I generally felt it was more appropriate for cryptography and security. Incidentally, I've decided the workshop name "CAAT" should be pronounced "longcat".
1:59 PM - 27 Apr 2018
0 replies
0 retweets
9 likes
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.