News for hackers. Stuff that matters.
Re:Why we love Scala at Coursera by cia_plant on Tuesday February 18, 2014 @02:01PM (#7260220)
No, I'm simply stating the fact that there are type systems capable of encoding assertions.

There are no comments on this comment yet.