| Fri, 20 Sep 2024 19:07:10 +0200 | wenzelm | proper Haskell setup, following 406a85a25189; | file | diff | annotate |
| Fri, 20 Sep 2024 14:28:13 +0200 | wenzelm | clarified signature: more explicit operations; | file | diff | annotate |
| Sun, 21 Jul 2024 12:37:37 +0200 | wenzelm | clarified signature: more robust operations; | file | diff | annotate |
| Fri, 19 Jul 2024 11:29:05 +0200 | wenzelm | clarified signature, following zterm.ML; | file | diff | annotate |
| Sun, 14 Jul 2024 18:10:06 +0200 | wenzelm | clarified Isabelle/Haskell type Term, following Isabelle/Scala (see 446b887e23c7); | file | diff | annotate |
| Wed, 28 Feb 2024 23:50:22 +0100 | wenzelm | more scalable: avoid potentially expensive ordering of underlying key data type, e.g. in MESON.Cache of Naproche; | file | diff | annotate |
| Tue, 11 Jul 2023 16:59:00 +0200 | wenzelm | clarified signature; | file | diff | annotate |