Post #1669957
2026-04-17 13:43 UTC
@zimoun
But what about the evaluation order? Surely we want a lazy language to compute derivations.
Replies (1)
-
@zimoun@social.sciences.re 2026-04-17 15:18
@6d03 🤔 Guix (Guile/Scheme) isn’t lazy to my knowledge and it computes derivations, I guess. 😁 https://arxiv.org/pdf/1709.00833