[isabelle-dev] NEWS: Isabelle/PIDE modules for Haskell
makarius at sketis.net
Thu Nov 8 00:35:22 CET 2018
*** System ***
* Session directory $ISABELLE_HOME/src/Tools/Haskell provides some
source modules for Isabelle tools implemented in Haskell, notably for
This refers e.g. to current Isabelle/438e1a11445f.
There is more and more material emerging: as direct ports from
Isabelle/ML using the our canonical naming conventions and functional
I writing these sources with VSCode and the extension "Haskell Language
Server" 0.0.24, see also https://github.com/haskell/haskell-ide-engine
After several days of tinkering it now works fairly well for me, even
with friendly hints via hlint. Unfortunately I failed to reproduce the
installation on my mobile machine. This reminds a bit of ancient times
with vi and emacs, before Isabelle/PIDE/jEdit.
More information about the isabelle-dev