Open freddie-freeloader opened 6 years ago
I added the notion of algebras and also explain them when introducing Böhm-Berarducci encoding. But is this actually confusing? I also use them synonym to observations. Is this helping or confusing?
I added the notion of algebras and also explain them when introducing Böhm-Berarducci encoding. But is this actually confusing? I also use them synonym to observations. Is this helping or confusing?