| Sat, 25 Jun 2022 10:27:42 +0200 | wenzelm | more documentation; | file | diff | annotate |
| Sat, 25 Jun 2022 10:05:36 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Sun, 23 May 2021 19:29:18 +0200 | wenzelm | clarified treatment of type constructors; | file | diff | annotate |