remove useless files

This commit is contained in:
Simon Cruanes 2017-02-22 10:19:58 +01:00
parent 76191b8577
commit f66d636b0e
3 changed files with 0 additions and 14 deletions

6
descr
View file

@ -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.

View file

@ -1,4 +0,0 @@
# OASIS_START
# DO NOT EDIT (digest: 3ff39d3acb327553070a64ef0cb321d5)
Sequence
# OASIS_STOP

View file

@ -1,4 +0,0 @@
# OASIS_START
# DO NOT EDIT (digest: 3ff39d3acb327553070a64ef0cb321d5)
Sequence
# OASIS_STOP