Sat, 13 Aug 2022 21:43:45 +0200 | wenzelm | clarified signature; | changeset | files |
Sat, 13 Aug 2022 21:42:52 +0200 | wenzelm | unused; | changeset | files |
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 |