monoid
3 feeds in the directory cover this.
Subscribe:.rss.atom.json.m3u.pls
Mathematics and Machines
Recent content on Mathematics and Machines
Higher Order
The Comonad.Reader
types, (co)monads, substructural logic
Machine-readable: this list of feeds, as JSON · their recent posts, as JSON Feed · all topics