Delete obsolete notes

hkust-taco · Feb 7, 2024 · a90d247 · a90d247
1 parent 73b6e23
commit a90d247
Showing 1 changed file with 0 additions and 47 deletions.
diff --git a/notes/interpretation-of-as-types.txt b/notes/interpretation-of-as-types.txt