Miking Documentation

Miking is a meta-language system for creating embedded languages, and this site holds its documentation.

To get started, first install Miking, then follow the getting-started tutorial to learn about the core languages of Miking.

Content

• Tutorials are meant for initial learning, and give step-by-step instructions for solving small, self-contained tasks.
• How-to guides give step-by-step instructions on how to accomplish commonly occurring tasks or solve problems.
• The Reference documents the more technical details of the project: APIs, syntax, semantics, etc.
• Explanations give more theoretical descriptions of concepts used in the Miking project, how they relate, and why they are designed the way they are.