Language support for the Frege programming language in IntelliJIDEA (currently experimental)
Primary LanguageJava