This is a repository of toy problems to be solved using recursion and JavaScript. While the concept of recursion may not be difficult to grasp, the only way to improve at thinking recursively is by ...

“In a large number of Australian languages, the principal responsibility for productive recursion in syntax is shouldered by [an] adjoined relative clause. It is typically marked as subordinate in ...

One hypothesis I had was that this induction-recursion was "too simple", and that agda was getting confused b/c while I tried to declare A and f mutually-recursively, neither actually mentions the ...