Thu, 21 Apr 2022 10:07:17 +0200 clarified signature, based on hints by IntelliJ IDEA;
wenzelm [Thu, 21 Apr 2022 10:07:17 +0200] rev 75933
clarified signature, based on hints by IntelliJ IDEA;
Thu, 21 Apr 2022 10:03:38 +0200 tuned signature;
wenzelm [Thu, 21 Apr 2022 10:03:38 +0200] rev 75932
tuned signature;
Sat, 09 Apr 2022 15:40:29 +0200 more robust: avoid partiality;
wenzelm [Sat, 09 Apr 2022 15:40:29 +0200] rev 75931
more robust: avoid partiality;
Sat, 09 Apr 2022 15:35:27 +0200 tuned;
wenzelm [Sat, 09 Apr 2022 15:35:27 +0200] rev 75930
tuned;
Sat, 09 Apr 2022 15:33:38 +0200 clarified signature;
wenzelm [Sat, 09 Apr 2022 15:33:38 +0200] rev 75929
clarified signature;
Sat, 09 Apr 2022 15:28:55 +0200 clarified signature;
wenzelm [Sat, 09 Apr 2022 15:28:55 +0200] rev 75928
clarified signature;
Sat, 09 Apr 2022 14:51:54 +0200 tuned --- avoid warnings in scala3;
wenzelm [Sat, 09 Apr 2022 14:51:54 +0200] rev 75927
tuned --- avoid warnings in scala3;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 tip