Pygments AgentSpeak
A Pygments lexer for both the AgentSpeak extension interpreted by Jason and Jason/JaCaMo project files.
Install
With PyPI:
$ sudo pip3 install pygments-agentspeak
From GitHub:
$ git clone https://github.com/lcpz/pygments-agentspeak.git $ cd pygments-agentspeak $ sudo pip3 install .
Usage
Define jason
, jasonproject
or jacamoproject
as the language to be used.
You can also use jacamo
as style.
Usage in LaTeX documents
See the minted package.
Note
Check also this.