more notes on semantics of pattern matching

disco-lang · May 23, 2024 · e3f6d30 · e3f6d30
1 parent 4bd29b8
commit e3f6d30
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/pubs/arith-pats/2023-05-31-notes.xopp b/pubs/arith-pats/2023-05-31-notes.xopp
diff --git a/pubs/arith-pats/categorical-semantics-for-pattern-matching.xopp b/pubs/arith-pats/categorical-semantics-for-pattern-matching.xopp