write up notes on bicategory of relations, and write down Max New ide…

…a for semantics of pattern matching via relations
disco-lang · May 23, 2024 · 1551b4d · 1551b4d
1 parent e3f6d30
commit 1551b4d
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/pubs/arith-pats/relational-semantics-for-pattern-matching.xopp b/pubs/arith-pats/relational-semantics-for-pattern-matching.xopp