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.
You can describe an Abstraction Logic theory in a .practal file by:
Declaring abstractions, and optionally defining them.
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!