News for hackers. Stuff that matters.
Re:Graphical Linear Algebra by ouroboros1 on Tuesday August 18, 2020 @10:00AM (#24198614)
This looks interesting! I get the impression there would not be much friction to implement some of these mechanisms in Haskell.
Re:Graphical Linear Algebra by solomonb on Tuesday August 18, 2020 @12:51PM (#24201003)
I think it would be a challenge without dependent types.