Documentation

Available documentation

Various material is available as project documentation:

• general description of the project goals and motivations
• quick tour of the syntax and available macros
• available APIs for the kernel and application programmer
• install instructions