Non-recursive because the recursion is "factored out".
The use case for Json.Unary is when you've
also factored the recursion out of a recursive algorithm, which is
what this project is all about: leveraging well-known, well-founded
ideas from math to "factor out" recursion.
Json.Unary
Non-recursive definition of JSON.
Non-recursive because the recursion is "factored out".
The use case for
Json.Unary
is when you've also factored the recursion out of a recursive algorithm, which is what this project is all about: leveraging well-known, well-founded ideas from math to "factor out" recursion.