News for hackers. Stuff that matters.

A comment on "Why not just use Lean?". Parent comment

Re:"Why not just use Lean?" by smj-edison on Monday April 27, 2026 @11:39AM (#47923046)
Oops, just edited. I'm still fairly new to this area, so I keep mixing up my terms :)
[ Parent | on HN ]

There are no comments on this comment yet.