Metadata-Version: 2.1
Name: folint
Version: 0.0.2
Summary: Linter for FOdot used in the IDP-Z3 system
Home-page: https://github.com/larsver/folint
Author: larsver
Author-email: lars.larsvermeulen@gmail.com
License: UNKNOWN
Platform: UNKNOWN
Classifier: Programming Language :: Python
Classifier: Topic :: Software Development
Description-Content-Type: text/markdown
License-File: LICENSE

README for FOLint 
=============================================

FOLint is a linting tool for FO(·) which looks for errors and helps enforcing a coding standard.

Documentation about FO(·) (https://fo-dot.readthedocs.io/en/latest/FO-dot.html)

Source code FOLint (https://github.com/larsver/folint)

Installation
-------

    pip install folint


FOLint in editors
-------
Use of folint in editors, see folder folint-in-editors (https://github.com/larsver/folint)).


