Semantics of the Wolfram Language

This is what still needs documenting. Want to help?

Specification Coverage

  • Symbol properties
  • OwnValues
  • DownValues, UpValues
  • DefaultValues
  • Options
  • Attributes
  • Messages
  • SubValues
  • NValues
  • FormatValues
  • Scoping rules
  • Scoping operators
  • Contexts
  • λ calculus semantics
  • Packages
  • Pattern matching
  • Patterns
  • Types of equality
  • Options
  • Evaluation
  • Types
  • Messages
  • Homoiconicity