News for hackers. Stuff that matters.

A comment on Graphical Linear Algebra. Parent comment

Re:Graphical Linear Algebra by solomonb on Tuesday August 18, 2020 @12:51PM (#24201003)
I think it would be a challenge without dependent types.
[ Parent | on HN ]

There are no comments on this comment yet.