[ fix #72 ] remove the broken modules

People are still hitting the same issueT There has been no movement towards fixing it It is IMO unfixable Let's drop it.
idris-lang · Jun 17, 2024 · a2bbf6c · a2bbf6c
1 parent 866354f
commit a2bbf6c
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 470 deletions.
diff --git a/libs/contrib/Control/Algebra.idr b/libs/contrib/Control/Algebra.idr
diff --git a/libs/contrib/Control/Algebra/Implementations.idr b/libs/contrib/Control/Algebra/Implementations.idr