News for hackers. Stuff that matters.

A comment on A simple ray tracer in Lean 4. Parent comment

Re:A simple ray tracer in Lean 4 by creata on Monday February 01, 2021 @11:52PM (#25997551)
Thanks. I'm aware of that, but I can't find any such efforts for Haskell in particular.
[ Parent | on HN ]

There are no comments on this comment yet.