![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
https://github.com/vpatryshev/wowiki/wiki/Algebraic-Data-Types-Categorically
Critique welcome; it's just a draft. I'll be glad to expand it, to fix it, to polish it. But the idea is there already. I believe, I got the puzzle behind GADT formalized.
Critique welcome; it's just a draft. I'll be glad to expand it, to fix it, to polish it. But the idea is there already. I believe, I got the puzzle behind GADT formalized.
