whiley-mode

Homepage: http://github.com/Whiley/WhileyEmacsMode

Author: David J. Pearce

Updated: 2022-May-02

Summary

Major mode for Whiley language

Commentary

This package provides a major mode for working with programs
written in the Whiley programming language.

Dependencies

• cc-mode
• newcomment