remove unnecessary folders

HuStmpHrrr · Oct 27, 2024 · 06cbd14 · 06cbd14
1 parent 2bbd5a5
commit 06cbd14
Show file tree

Hide file tree

Showing 18 changed files with 0 additions and 3,125 deletions.
diff --git a/src/NonCumulative/Statics/Unascribed/Anno.agda b/src/NonCumulative/Statics/Unascribed/Anno.agda
diff --git a/src/NonCumulative/Statics/Unascribed/Anno/CtxEquiv.agda b/src/NonCumulative/Statics/Unascribed/Anno/CtxEquiv.agda