Some experiments with natural numbers in Scala without type class wizardry
by Peter.
Scala doesn’t have dependent types but I wanted to see if I could wrassle up something that would approximate it for non-negative natural numbers. I’ve posted my results on GitHub.