[console_scripts]
fherma-lang = fherma_lang.__main__:main
