Getting started

• Introduction
  • Term rewriting
  • Parallel matching
  • Logic programming
  • Sets
• FAQ
  • Does it run?
  • Where can I ask questions?
  • How do I contribute?
• Style guide
  • Naming Guidelines
  • Comment Guidelines
  • Spacing Guidelines
  • Type Guidelines
  • Parameters
  • Scoping
  • Structuring
  • Sources