This is an overview of topics covering the various constructs in the [[Stratego language]]. This is a subset of the
[[Stratego glossary]], which also lists concept, advice, design and tool oriented topics.

---++ Terms

	* [[ATerm]]
	* [[Algebraic signature]]
	* [[Character syntax]]

---++ Conditional Rewrite Rules

	* [[Rewrite rule]]
	* [[Anonymous rewrite rule]]
	* [[Contextual rule]]

---++ Rewriting Strategies

	* [[Strategy definition]]
	* [[Strategy rule]]

	* [[Match strategy]]
	* [[Generic Term Deconstruction]]
	* [[List matching]]
	* [[Recursion operator]]

	* [[Term project]]
	* [[Term wrap]]

	* [[Native primitives]]

---++++ Choice operators

	* [[Deterministic choice]]
	* [[Non deterministic choice]]
	* [[Global choice]]

	* [[Guarded left choice]]
	* [[If then]]
	* [[If then else]]

---++++ Traversal

	* [[Generic term traversal operators]]
	* [[Congruence operator]]

---++ Dynamic Rules

	* [[Dynamic rule]]

---++ Term Annotations

	* [[Term annotation]]

---++ Overlays 

	* [[Overlay definition]]

---++ Concrete Object Syntax