--- a/src/Tools/ROOT Thu Nov 01 12:23:54 2018 +0100 +++ b/src/Tools/ROOT Thu Nov 01 13:53:29 2018 +0100 @@ -8,3 +8,7 @@ session SML in SML = Pure + theories Examples + +session Haskell in Haskell = Pure + + theories + Haskell