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 ...

It is a truism that conceptual understanding of a hypothesis is required for its empirical investigation. However, the concept of recursion as articulated in the context of linguistic analysis has ...

While strengthening my understanding of recursion, I recently practiced converting several basic loop-based problems into recursive solutions. Instead of only memorizing recursion syntax, I focused on ...