Sun, 06 Apr 2025 14:20:41 +0200 | haftmann | reflect nested lists in variables names | file | diff | annotate |
Sun, 30 Mar 2025 13:50:06 +0200 | haftmann | tuned namespace organisation | file | diff | annotate |
Fri, 17 Jan 2025 23:15:47 +0100 | wenzelm | avoid legacy warnings in "test_code check in OCaml"; | file | diff | annotate |
Fri, 24 Mar 2023 18:30:17 +0000 | haftmann | More explicit type information in dictionary arguments. | file | diff | annotate |
Fri, 24 Mar 2023 18:30:17 +0000 | haftmann | more uniform approach towards satisfied applications | file | diff | annotate |
Sun, 12 Feb 2023 06:45:59 +0000 | haftmann | somehow more clear terminology | file | diff | annotate |