search

Whiley / WhileyDocs

Various documents relating to the Whiley Programming Language.
7 stars 2 forks source link

Remove List Append #24

Closed DavePearce closed 9 years ago

DavePearce commented 9 years ago

The list append operator was removed and this should be reflected in the spec.