News for hackers. Stuff that matters.

A comment on Interactive Linear Algebra Dan Margalit, Joseph Rabinoff. Parent comment

Re:Interactive Linear Algebra Dan Margalit, Joseph Rabinoff by lupire on Monday September 02, 2024 @11:44AM (#41426407)
Lean doesn't have expressiveness notation. It's like Perl line noise.
[ Parent | on HN ]

There are no comments on this comment yet.