Path	Lines of Code
CHANGELOG.md	28
CODE_OF_CONDUCT.md	57
CONTRIBUTING.md	31
README.md	216
demo/Main.hs	46
sokrates_conventions.json	72