Programm für das neunundzwanzigste Treffen am 10. August 2017

Makarius berichtet über sein laufendes Projekt, Visual Studio Code als Isabelle/PIDE-Frontend zu verwenden.

Profpatsch stellt Turtle vor, eine Haskell-Bibliothek, mit der man Haskell als “bessere Bash” verwenden kann. Das fängt bei der Überwindung der Quotinghölle an und geht dann noch viel weiter.