@cicada-lang/mugda (npm): > Recursion is not an option. > > -- ["The Little Typer"](https://mitpress.mit.edu/9780262536431/the-little-typer)
Keywords: agda|halting-problem|mugda|termination-checking|type-checker