Zulip Chat Archive
Stream: PR reviews
Topic: category PRs
Johan Commelin (Feb 21 2020 at 14:39):
I invite others to take a look at #1988 (kernels) and #1998 (binary products). I think they look fine, but category theory seems to be tricky to get right.
Last updated: Dec 20 2023 at 11:08 UTC