[isabelle-dev] NEWS: Isabelle/PIDE modules for Haskell

Makarius 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
Isabelle/PIDE.


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
programming style.


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.


	Makarius


More information about the isabelle-dev mailing list