Sha256: a53c2d329a9b6f7687d1d476b059d3b63fbdb5fd6e2e6978efdaafb29d4c8059
Contents?: true
Size: 180 Bytes
Versions: 196
Compression:
Stored size: 180 Bytes
Contents
datatype 'a nestedList = Leaf of 'a (* leaf *) | Node of 'a nestedList list (* node *) fun flatten (Leaf x) = [x] | flatten (Node xs) = List.concat (map flatten xs)
Version data entries
196 entries across 196 versions & 1 rubygems