Simplest Integration with Frege Compiler

tricktron / frege-lsp-server

Frege Language Server Using the Language Server Protocol

MIT License

1 stars 0 forks source link

Simplest Integration with Frege Compiler #19

Closed tricktron closed 2 years ago

tricktron commented 2 years ago

Write the simplest test to get some useful info back directly from the Frege Compiler. This is the first step in the big goal of removing the FregeRepl and FregeInterpreter intermediaries: frege-complete-hover-sequence