Sha256: 8851df29b9cfe43abb0da7ff9aa6eeaced3e6b20461a2c1a5f85844aead42fb4
Contents?: true
Size: 151 Bytes
Versions: 54
Compression:
Stored size: 151 Bytes
Contents
datatype 'a nestedList = Elem of 'a | List of 'a nestedList list fun flatten (Elem x) = [x] | flatten (List xs) = List.concat (map flatten xs)
Version data entries
54 entries across 54 versions & 1 rubygems