check in some notes

disco-lang · May 23, 2024 · 4bd29b8 · 4bd29b8
1 parent efc328b
commit 4bd29b8
Showing 1 changed file 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