somme ex2 and ex3 text

[tt2015.git] / a3 / code / Generics / GenBimap.dcl

diff --git a/a3/code/Generics/GenBimap.dcl b/a3/code/Generics/GenBimap.dcl
deleted file mode 100644 (file)
index 382b611..0000000
--- a/a3/code/Generics/GenBimap.dcl
+++ /dev/null
@@ -1,7 +0,0 @@
-definition module GenBimap\r
-\r
-// from StdGeneric import generic bimap\r
-import StdGeneric\r
-from StdMaybe import :: Maybe\r
-\r
-derive bimap Maybe, [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r