chaource: (Default)
chaource ([personal profile] chaource) wrote in [personal profile] sassa_nf 2024-01-08 09:59 am (UTC)

Your `Tr` is the same as my `f`. It's the recursion scheme. It remains to rewrite everything in terms of `Tr` so that all functions are parameterized by `Tr`.

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting