2026-11-11 17:35 UTC
is it normal to build associativity and commutativity rules into your type system
Replies (1)
-
@joe@f.duriansoftware.com 2026-11-11 17:38
@sainati@types.pl if you don't have them in the type system itself, then it seems like you have to build them as a library like in theorem provers