Skip to content


This are the Spoofax and meta-language references. For more background information on the ideas, architecture, and design decisions behind Spoofax and its meta-languages, see the Background section.

The reference section should explain language constructs (syntax, statics, dynamics) and be structured following a taxonomy of the language

Table of Contents

  • SDF3 (Jasper)
  • Statix (Aron)
  • FlowSpec (Matthijs, Jeff)
  • Stratego (Eelco, Jeff)
  • PIE (Ivo, Gabriël)
  • MkDocs (Daniël)
  • bibtex
  • syntax highlighting
  • ESV / editor services
  • Reviewing
  • Peter
  • Toine

Last update: 2023-03-07