News for hackers. Stuff that matters.

A comment on Parallels Between Math and Software Engineering. Parent comment

Re:Parallels Between Math and Software Engineering by mm_aa on Monday August 10, 2015 @09:00PM (#10038506)
Is there any effect on our thinking that comes from HoTT? I heard this is exactly the kind of problems it tries to solve.
[ Parent | on HN ]

There are no comments on this comment yet.