-
Notifications
You must be signed in to change notification settings - Fork 21
Annotation Guide
Nick Battle edited this page Jan 16, 2023
·
9 revisions
So there's an Annotation Guide. What's that about?
It describes the standard VDMJ annotations and explains how to write your own.
- TL;DR
- VDM Method
- VDMJ Overview
- VDMJ Docs for Specifiers
- VDMJ Docs for Tool Developers
- VDMJ Docs for LSP Developers