src/Tools/Haskell/Haskell.thy
Fri, 20 Sep 2024 19:07:10 +0200 wenzelm proper Haskell setup, following 406a85a25189;
Fri, 20 Sep 2024 14:28:13 +0200 wenzelm clarified signature: more explicit operations;
Sun, 21 Jul 2024 12:37:37 +0200 wenzelm clarified signature: more robust operations;
less more (0) -100 -30 -10 -3 tip