3 ms·
Also: * Little Big Planet [1] * Scala's type system [2] [1] http://forums.xkcd.com/viewtopic.php?f=12&t=57034#p2029587 http://forums.xkcd.com/viewtopic.php?f
by chocolateboy 13y ago
Also:
* Little Big Planet [1]
* Scala's type system [2]
[1] http://forums.xkcd.com/viewtopic.php?f=12&t=57034#p2029587 http://forums.xkcd.com/viewtopic.php?f=12&t=57034#p2029587
[2] http://michid.wordpress.com/2010/01/29/scala-type-level-encoding-of-the-ski-calculus/ http://michid.wordpress.com/2010/01/29/scala-type-level-enco...