Pierre-Marie de Rodat 7ce5c754a3 Enable style checks for Lkt code and fix existing issues ...

(cherry picked from commit b931705d24)

2024-11-28 09:14:04 +00:00

..

inline_playground.py

Make has_spark_mode_on and is_subject_to_proof available on any node.

2024-03-11 11:15:08 +00:00

source.py

Reorganize the source tree

2020-11-02 16:51:46 +01:00

stylechecks.py

Enable style checks for Lkt code and fix existing issues

2024-11-28 09:14:04 +00:00

unicode_utils.py

Fix a few typos in documentation

2023-01-03 09:03:25 +00:00

utils.py

W301-012: Add semantic error messages.

2024-01-11 10:53:59 +01:00