Mini-issue 24: Predicates, Trees and GADTs
I am pleased to announce that Mini-issue 24 of The Monad Reader is now available. It is a “mini-issue” because it consists of one article: “Predicates, Trees and GADTs” by Benjamin Hodgson.
Feel free to browse the source files. You can check out the entire repository using Git:
git clone https://github.com/ezyang/tmr-issue24.git
If you’d like to write something for The Monad Reader, please get in touch!