Remove Haskell.Extra.Loop module

agda · Jan 6, 2025 · f6bd2c8 · f6bd2c8
1 parent f9cfd2c
commit f6bd2c8
Showing 1 changed file with 0 additions and 26 deletions.
diff --git a/lib/Haskell/Extra/Loop.agda b/lib/Haskell/Extra/Loop.agda