News for hackers. Stuff that matters.

A comment on Elm Compiler Written in Elm. Parent comment

Re:Elm Compiler Written in Elm by johnday on Tuesday July 13, 2021 @03:39PM (#27825305)
It would massively simplify the job of proving the upper language more correct. It may also be possible to proxy the type system in order to make use of existing tooling.
[ Parent | on HN ]

There are no comments on this comment yet.