├── .gitignore ├── Code ├── 2015 │ ├── 001 │ │ ├── ListPair.ok │ │ ├── README.md │ │ ├── tests.cm │ │ └── tests.sml │ ├── 002 │ │ ├── Either.ok │ │ ├── Either.results │ │ ├── either.sig │ │ ├── either.sml │ │ ├── sources.cm │ │ ├── sources.mlb │ │ ├── tests.cm │ │ └── tests.sml │ ├── 003 │ │ ├── array.sig │ │ ├── array.sml │ │ ├── list-pair.sig │ │ ├── list-pair.sml │ │ ├── list.sig │ │ ├── list.sml │ │ ├── mono-array.fun │ │ ├── mono-array.sig │ │ ├── mono-vector.fun │ │ ├── mono-vector.sig │ │ ├── option.sig │ │ ├── option.sml │ │ ├── sources.cm │ │ ├── sources.mlb │ │ ├── string.sig │ │ ├── string.sml │ │ ├── vector.sig │ │ └── vector.sml │ ├── 004 │ │ ├── BUFFER.sig │ │ └── Buffer.sml │ ├── 005 │ │ ├── fn.sig │ │ ├── fn.sml │ │ ├── sources.cm │ │ └── sources.mlb │ └── 007 │ │ ├── Ref.ok │ │ ├── ref.sig │ │ ├── ref.sml │ │ ├── sources.cm │ │ ├── sources.mlb │ │ ├── tests.cm │ │ └── tests.sml ├── 2016 │ └── 001 │ │ ├── sources.cm │ │ ├── sources.mlb │ │ ├── word.sig │ │ └── word.sml ├── 2018 │ ├── 001 │ │ ├── CharBuffer.ok │ │ ├── mono-buffer.fun │ │ ├── mono-buffer.sig │ │ ├── mono-buffer.sml │ │ ├── sources.cm │ │ ├── sources.mlb │ │ ├── tests.cm │ │ └── tests.sml │ └── 002 │ │ ├── array-slice.sig │ │ ├── array-slice.sml │ │ ├── mono-array-slice.fun │ │ ├── mono-array-slice.sig │ │ ├── mono-vector-slice.fun │ │ ├── mono-vector-slice.sig │ │ ├── sources.cm │ │ ├── sources.mlb │ │ ├── tests.cm │ │ ├── tests.sml │ │ ├── vector-slice.sig │ │ └── vector-slice.sml ├── 2020 │ └── 001 │ │ ├── universal.sig │ │ └── universal.sml ├── example │ ├── Counter.ok │ ├── README.md │ ├── counter.sig │ ├── counter.sml │ ├── example-proposal.md │ ├── sources.cm │ ├── sources.mlb │ ├── tests.cm │ └── tests.sml └── testing │ ├── README.md │ ├── check.sml │ └── sources.cm └── README.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/.gitignore -------------------------------------------------------------------------------- /Code/2015/001/ListPair.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/001/ListPair.ok -------------------------------------------------------------------------------- /Code/2015/001/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/001/README.md -------------------------------------------------------------------------------- /Code/2015/001/tests.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/001/tests.cm -------------------------------------------------------------------------------- /Code/2015/001/tests.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/001/tests.sml -------------------------------------------------------------------------------- /Code/2015/002/Either.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/002/Either.ok -------------------------------------------------------------------------------- /Code/2015/002/Either.results: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/002/Either.results -------------------------------------------------------------------------------- /Code/2015/002/either.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/002/either.sig -------------------------------------------------------------------------------- /Code/2015/002/either.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/002/either.sml -------------------------------------------------------------------------------- /Code/2015/002/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/002/sources.cm -------------------------------------------------------------------------------- /Code/2015/002/sources.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/002/sources.mlb -------------------------------------------------------------------------------- /Code/2015/002/tests.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/002/tests.cm -------------------------------------------------------------------------------- /Code/2015/002/tests.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/002/tests.sml -------------------------------------------------------------------------------- /Code/2015/003/array.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/array.sig -------------------------------------------------------------------------------- /Code/2015/003/array.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/array.sml -------------------------------------------------------------------------------- /Code/2015/003/list-pair.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/list-pair.sig -------------------------------------------------------------------------------- /Code/2015/003/list-pair.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/list-pair.sml -------------------------------------------------------------------------------- /Code/2015/003/list.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/list.sig -------------------------------------------------------------------------------- /Code/2015/003/list.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/list.sml -------------------------------------------------------------------------------- /Code/2015/003/mono-array.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/mono-array.fun -------------------------------------------------------------------------------- /Code/2015/003/mono-array.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/mono-array.sig -------------------------------------------------------------------------------- /Code/2015/003/mono-vector.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/mono-vector.fun -------------------------------------------------------------------------------- /Code/2015/003/mono-vector.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/mono-vector.sig -------------------------------------------------------------------------------- /Code/2015/003/option.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/option.sig -------------------------------------------------------------------------------- /Code/2015/003/option.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/option.sml -------------------------------------------------------------------------------- /Code/2015/003/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/sources.cm -------------------------------------------------------------------------------- /Code/2015/003/sources.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/sources.mlb -------------------------------------------------------------------------------- /Code/2015/003/string.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/string.sig -------------------------------------------------------------------------------- /Code/2015/003/string.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/string.sml -------------------------------------------------------------------------------- /Code/2015/003/vector.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/vector.sig -------------------------------------------------------------------------------- /Code/2015/003/vector.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/003/vector.sml -------------------------------------------------------------------------------- /Code/2015/004/BUFFER.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/004/BUFFER.sig -------------------------------------------------------------------------------- /Code/2015/004/Buffer.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/004/Buffer.sml -------------------------------------------------------------------------------- /Code/2015/005/fn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/005/fn.sig -------------------------------------------------------------------------------- /Code/2015/005/fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/005/fn.sml -------------------------------------------------------------------------------- /Code/2015/005/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/005/sources.cm -------------------------------------------------------------------------------- /Code/2015/005/sources.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/005/sources.mlb -------------------------------------------------------------------------------- /Code/2015/007/Ref.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/007/Ref.ok -------------------------------------------------------------------------------- /Code/2015/007/ref.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/007/ref.sig -------------------------------------------------------------------------------- /Code/2015/007/ref.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/007/ref.sml -------------------------------------------------------------------------------- /Code/2015/007/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/007/sources.cm -------------------------------------------------------------------------------- /Code/2015/007/sources.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/007/sources.mlb -------------------------------------------------------------------------------- /Code/2015/007/tests.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/007/tests.cm -------------------------------------------------------------------------------- /Code/2015/007/tests.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2015/007/tests.sml -------------------------------------------------------------------------------- /Code/2016/001/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2016/001/sources.cm -------------------------------------------------------------------------------- /Code/2016/001/sources.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2016/001/sources.mlb -------------------------------------------------------------------------------- /Code/2016/001/word.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2016/001/word.sig -------------------------------------------------------------------------------- /Code/2016/001/word.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2016/001/word.sml -------------------------------------------------------------------------------- /Code/2018/001/CharBuffer.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/001/CharBuffer.ok -------------------------------------------------------------------------------- /Code/2018/001/mono-buffer.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/001/mono-buffer.fun -------------------------------------------------------------------------------- /Code/2018/001/mono-buffer.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/001/mono-buffer.sig -------------------------------------------------------------------------------- /Code/2018/001/mono-buffer.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/001/mono-buffer.sml -------------------------------------------------------------------------------- /Code/2018/001/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/001/sources.cm -------------------------------------------------------------------------------- /Code/2018/001/sources.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/001/sources.mlb -------------------------------------------------------------------------------- /Code/2018/001/tests.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/001/tests.cm -------------------------------------------------------------------------------- /Code/2018/001/tests.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/001/tests.sml -------------------------------------------------------------------------------- /Code/2018/002/array-slice.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/002/array-slice.sig -------------------------------------------------------------------------------- /Code/2018/002/array-slice.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/002/array-slice.sml -------------------------------------------------------------------------------- /Code/2018/002/mono-array-slice.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/002/mono-array-slice.fun -------------------------------------------------------------------------------- /Code/2018/002/mono-array-slice.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/002/mono-array-slice.sig -------------------------------------------------------------------------------- /Code/2018/002/mono-vector-slice.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/002/mono-vector-slice.fun -------------------------------------------------------------------------------- /Code/2018/002/mono-vector-slice.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/002/mono-vector-slice.sig -------------------------------------------------------------------------------- /Code/2018/002/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/002/sources.cm -------------------------------------------------------------------------------- /Code/2018/002/sources.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/002/sources.mlb -------------------------------------------------------------------------------- /Code/2018/002/tests.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/002/tests.cm -------------------------------------------------------------------------------- /Code/2018/002/tests.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/002/tests.sml -------------------------------------------------------------------------------- /Code/2018/002/vector-slice.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/002/vector-slice.sig -------------------------------------------------------------------------------- /Code/2018/002/vector-slice.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2018/002/vector-slice.sml -------------------------------------------------------------------------------- /Code/2020/001/universal.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2020/001/universal.sig -------------------------------------------------------------------------------- /Code/2020/001/universal.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/2020/001/universal.sml -------------------------------------------------------------------------------- /Code/example/Counter.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/example/Counter.ok -------------------------------------------------------------------------------- /Code/example/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/example/README.md -------------------------------------------------------------------------------- /Code/example/counter.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/example/counter.sig -------------------------------------------------------------------------------- /Code/example/counter.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/example/counter.sml -------------------------------------------------------------------------------- /Code/example/example-proposal.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/example/example-proposal.md -------------------------------------------------------------------------------- /Code/example/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/example/sources.cm -------------------------------------------------------------------------------- /Code/example/sources.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/example/sources.mlb -------------------------------------------------------------------------------- /Code/example/tests.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/example/tests.cm -------------------------------------------------------------------------------- /Code/example/tests.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/example/tests.sml -------------------------------------------------------------------------------- /Code/testing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/testing/README.md -------------------------------------------------------------------------------- /Code/testing/check.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/testing/check.sml -------------------------------------------------------------------------------- /Code/testing/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/Code/testing/sources.cm -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SMLFamily/BasisLibrary/HEAD/README.md --------------------------------------------------------------------------------