Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

Defining A Typesystem For Your Language

Anchor
what_is
what_is

This page describes the MPS type-system to a great detail. If you would prefer a more lightweight introduction into defining your first type-system rules, consider checking out the Type-system cookbook.

...