Practal for VSCode

Practal has its first monthly sponsor, many thanks to purebounce! 🎉

Installation

Practal is available as a Visual Studio Code extension. Make sure you also have the STIX fonts installed on your system.

NOTE: Practal switched to using the backtick ` instead of the apostrophe ' for syntax category related things. Keep that in mind when trying out old examples! See Foundation.practal, List.practal and Decimal.practal for updated examples.

Features

You can describe an Abstraction Logic theory in a .practal file by:

• Declaring abstractions, and optionally defining them.
• Introducing axioms.
• Providing custom syntax for your abstractions. Practal contains under the hood a full engine for deterministic LR parsing. It is actually quite a lot of fun to play around with your own syntax!

See Practal.com and in particular A First Look at Practal for more information!

Known Issues

This is a pre-α release.

• No proofs, or really any other features except the ones stated above.
• Works only on a single file, there is no possibility to import or include other theories.