wenzelm [Mon, 04 Apr 2022 23:33:14 +0200] rev 75405
clarified signature: avoid ambiguity in scala3;
wenzelm [Mon, 04 Apr 2022 22:42:12 +0200] rev 75404
more robust types (for scala3);
wenzelm [Mon, 04 Apr 2022 22:06:40 +0200] rev 75403
tuned for scala3;
wenzelm [Mon, 04 Apr 2022 22:04:20 +0200] rev 75402
proper indentation (relevant for scala3);
haftmann [Sun, 03 Apr 2022 09:07:37 +0000] rev 75401
adjusted printing of type annotations to accomodate Scala 3
paulson <lp15@cam.ac.uk> [Sun, 03 Apr 2022 14:48:55 +0100] rev 75400
two new examples
haftmann [Sat, 02 Apr 2022 17:03:35 +0000] rev 75399
pass constructor arity as part of case certficiate
haftmann [Sat, 02 Apr 2022 17:03:34 +0000] rev 75398
tuned whitespace in generated code
haftmann [Fri, 01 Apr 2022 16:41:16 +0000] rev 75397
tuned, centralizing case distinction at one place at the cost of modest duplication
wenzelm [Fri, 01 Apr 2022 23:51:07 +0200] rev 75396
clarified formatting, for the sake of scala3;