Zulip Chat Archive
Stream: general
Topic: rel and relation
Yaël Dillies (Aug 17 2021 at 05:53):
Should we state all the stuff that's in logic.relation using rel?
Yaël Dillies (Aug 17 2021 at 07:20):
The question probably is "Will it be a problem having to coerce functions α → β → Prop to rel α β?
Last updated: May 02 2025 at 03:31 UTC