src/Tools/Code/code_haskell.ML
Sun, 06 Apr 2025 14:20:41 +0200 haftmann reflect nested lists in variables names
Sun, 30 Mar 2025 13:50:06 +0200 haftmann tuned namespace organisation
Sat, 04 Jan 2025 14:25:56 +0100 haftmann some bit operations on target numerals
less more (0) -100 -30 -10 -3 tip