vdm-mode

Homepage: https://github.com/peterwvj/vdm-mode

Author: Peter W. V. Tran-Jørgensen

Updated: 2022-Feb-21

Summary

Major mode for the Vienna Development Method

Commentary

vdm-mode currently supports the following features:

- Syntax highlighting and editing
- Replacement of ASCII syntax (e.g. lambda) with more aesthetically
  looking symbols (e.g. λ) using prettify-symbols-mode
- On the fly syntax checking using Flycheck
- VDM YASnippets
- REPL (read–eval–print loop) support based on comint
- Integration with VDMJ and Overture

Dependencies

• comint
• flycheck
• seq
• yasnippet