Using Frege in Intellij IDEA

For those who prefer working in an IDE, there is special Frege support for eclipse. However, Intellij IDEA can also be set up to compile and run Frege code smoothly even though the support is much less advanced. If you would like to see better Frege support in IDEA, please upvote the Frege issue.

This page describes how you can

• basic syntax highlighting and general editing support
• automatically compile Frege code whenever you change a .fr file
• run Frege code
• run QuickCheck
• start the Frege REPL internally with your code included