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

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