links icon indicating copy to clipboard operation
links copied to clipboard

Document syntax changes

Open jamescheney opened this issue 5 years ago • 0 comments

Update the documentation to reflect changes to syntax made in the last few versions, that make existing documentation and examples wrong.

  • [ ] Recursive type inlining (0.6)
  • [ ] Mutual blocks (0.9)
  • [ ] open import (0.9)
  • [ ] Record field punning (0.9)
  • [ ] SML-style pattern matching function definitions (0.9.2)
  • [ ] Trailing semicolons (0.9.2)
  • [ ] ^^ for string concatenation (0.?)

jamescheney avatar Oct 16 '20 18:10 jamescheney