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 |