← Feed @trebor@types.pl Post #2142732 2026-04-25 20:32 UTC What's the free cartesian closed category with an applicative functor like Replies (0) No replies.