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 write your first program and write your first language.
warning
We are currently in the process of restructuring our documentation (see here for more information on the intent), thus some information can be found in the first four categories below (where they should be) and some can be found under old content below.
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.
Old Content​
The old documentation can be found here while the documentation restructuring is in progress:
- The Miking README.
- The Miking DPPL README.