News for hackers. Stuff that matters.

A comment on Power of Small Optimizations. Parent comment

Re:Power of Small Optimizations by eru on Monday February 12, 2024 @09:59AM (#39345467)
Agda doesn't need that restriction, as far as I know. And neither does Dhall. See https://dhall-lang.org/

Neither language is Turing complete.

[ Parent | on HN ]

There are no comments on this comment yet.