diff --git a/descr b/descr
deleted file mode 100644
index 25f3a49..0000000
--- a/descr
+++ /dev/null
@@ -1,6 +0,0 @@
-Simple and lightweight sequence abstract data type.
-
-Simple sequence abstract data type, intended to transfer a finite number of
-elements from one data structure to another. Some transformations on sequences,
-like `filter`, `map`, `take`, `drop` and `append` can be performed before the
-sequence is iterated/folded on.
diff --git a/sequence.mldylib b/sequence.mldylib
deleted file mode 100644
index 2f635d2..0000000
--- a/sequence.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 3ff39d3acb327553070a64ef0cb321d5)
-Sequence
-# OASIS_STOP
diff --git a/sequence.mllib b/sequence.mllib
deleted file mode 100644
index 2f635d2..0000000
--- a/sequence.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 3ff39d3acb327553070a64ef0cb321d5)
-Sequence
-# OASIS_STOP