Livejournal
Log in
Post
Friends
My journal
dmitin
Introduction to programming with dependent types in Scala
Mar 23, 2017 14:12
https://stepik.org/course/ThCS-Introduction-to-programming-with-dependent-types-in-Scala-2294/
Read more... )
Leave a comment
Comments 2
ex_juan_gan
March 23 2017, 15:01:58 UTC
Thanks! Quite unusual combination. Have to look.
Reply
ex_juan_gan
March 23 2017, 15:04:55 UTC
Thanks! Quite unusual combination. Have to look.
Reply
Leave a comment
Up
Comments 2
Reply
Reply
Leave a comment