Ampersand-Language-SupportThis extension provides langauge support for the Ampersand Definition Language (ADL). This is a language that allows one to define an application in terms of state (expressed in terms of concepts, relations and relation algebraic invariant rules), and interfaces that allow for state changes. The tooling takes an ADL-script, and generates a complete web-application. Features
Requirements
How to use this extensionAmpersand: checkerA cool feature is the syntax- and typechecking of your ampersand script. To use this, you should be working in a workspace. The workspace has a root directory. In that directory, you should create a file named The checker should load automatically, when the extension is activated. If for some reason this doesn't work, you can spin it off manually by using the command Syntax colouringThis works best with the ampersand theme:
Known IssuesFeatures are currently testable, and may contain bugs. Please create an issue if you find a mistake. AcknowledgementsThe way the syntax- and typechecking of Ampersand is made available to the VScode extention was very much inspired by the awsome work Neil Mitchell did for the ghcid extension. I shamelessly copied and modified parts of his work. Thanks Neil! Release NotesThe releasenotes can be found here. Enjoy! |