| Sat, 13 Aug 2022 21:23:59 +0200 | wenzelm | clarified modules; | changeset | files |
| Sat, 13 Aug 2022 18:06:30 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 13 Aug 2022 17:18:45 +0200 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Sat, 13 Aug 2022 16:24:14 +0200 | wenzelm | clarified signature --- avoid dependent types; | changeset | files |
| Sat, 13 Aug 2022 16:12:22 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 13 Aug 2022 15:41:12 +0200 | wenzelm | clarified signature: avoid public representation; | changeset | files |
| Sat, 13 Aug 2022 15:09:10 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 13 Aug 2022 15:06:23 +0200 | wenzelm | clarified signature; | changeset | files |