News for hackers. Stuff that matters.

A comment on As Math Grows More Complex, Will Computers Reign?. Parent comment

Re:As Math Grows More Complex, Will Computers Reign? by szany on Tuesday March 05, 2013 @06:22AM (#5323927)
There was a mention of dependent types.
[ Parent | on HN ]

There are no comments on this comment yet.