Hello all,
I was wondering if anyone has been able to write a modulo function for Natural
numbers in Dhall? It’s not entirely clear to me whether this is actually possible without recursion. I’ve read the section of the docs on translating recursive code to dhall but found it was stretching my rather limited math talent.