Closed lue-bird closed 12 months ago
Implements #149 + test.
a :: List.singleton b --> [ a, b ] is not added to the summary because a :: [ b ] --> [ a, b ] already exists there.
a :: List.singleton b --> [ a, b ]
a :: [ b ] --> [ a, b ]
Implements #149 + test.
a :: List.singleton b --> [ a, b ]
is not added to the summary becausea :: [ b ] --> [ a, b ]
already exists there.