Skip to content

rkaminsk/pygments_clingo

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

13 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

pygments-clingo

This is a syntax highlighting plugin for pygments to highlight clingo source files.

Currently, not the whole language is covered but only my current needs. Please open an issue to request features.

Example

Towers of Hanoi Example

Installing

The package can either be installed using setuptools:

python setup.py install --user

or there is also a pip package available:

python -m pip install pygments_clingo

About

Syntax highlighting for clingo with pygments

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages