From f66d636b0ec148bf872e5cff2596f9951ace0365 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 22 Feb 2017 10:19:58 +0100 Subject: [PATCH] remove useless files --- descr | 6 ------ sequence.mldylib | 4 ---- sequence.mllib | 4 ---- 3 files changed, 14 deletions(-) delete mode 100644 descr delete mode 100644 sequence.mldylib delete mode 100644 sequence.mllib 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