https://github.com/Dierk/frege-idea-plugin
Java21
8 years ago
Language support for the Frege programming language in IntelliJIDEA (currently experimental)
GUI for the frege repl
Frege24apache-2.0
7 years ago