Deleted 'Lookup' stuff

effectfully · Aug 10, 2020 · a0d54c0 · a0d54c0
1 parent cb6023c
commit a0d54c0
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 109 deletions.
diff --git a/generic.agda-lib b/generic.agda-lib
@@ -1,3 +1,3 @@
-name: generic
+name: generic-0.1
 depend: standard-library
 include: src
diff --git a/src/Generic/Examples/Lookup.agda b/src/Generic/Examples/Lookup.agda
diff --git a/src/Generic/Function/Lookup.agda b/src/Generic/Function/Lookup.agda