deploy: 4786856

jonsterling · Dec 28, 2023 · 18bd51d · 18bd51d
1 parent 00d0563
commit 18bd51d
Show file tree

Hide file tree

Showing 171 changed files with 664 additions and 664 deletions.
diff --git a/papers/sterling-2023-lifting.pdf b/papers/sterling-2023-lifting.pdf
diff --git a/resources/011e26f5286f4c8e02a7f6302b3b5dd5-web.svg b/resources/011e26f5286f4c8e02a7f6302b3b5dd5-web.svg
diff --git a/resources/02dcfcc2a909f0235a3d6b2223c7797a-web.svg b/resources/02dcfcc2a909f0235a3d6b2223c7797a-web.svg