Remove SDR20 paper summary

UniMath · Apr 6, 2024 · 185a09b · 185a09b
1 parent 2c209d2
commit 185a09b
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 324 deletions.
diff --git a/book.toml b/book.toml
@@ -42,8 +42,7 @@ suppress_processing = [
   "USERS.md",
   "GRANT-ACKNOWLEDGEMENTS.md",
   "SUMMARY.md",
-  "ART.md",
-  "src/papers.md"
+  "ART.md"
 ]
 
 [preprocessor.concepts]

diff --git a/src/papers.lagda.md b/src/papers.lagda.md
diff --git a/src/papers/SDR20.lagda.md b/src/papers/SDR20.lagda.md