3 days ago agoinfrastructure to relate xs = [] and length = 0 default tip
nipkow [Thu, 28 May 2020 11:43:34 +0200] rev 72120
infrastructure to relate xs = [] and length = 0

6 days ago agomore antiquotations;
wenzelm [Mon, 25 May 2020 22:37:22 +0200] rev 72119
more antiquotations;

6 days ago agoobsolete;
wenzelm [Mon, 25 May 2020 22:37:14 +0200] rev 72118
obsolete;

6 days ago agocheck free-form Scala source;
wenzelm [Mon, 25 May 2020 22:20:21 +0200] rev 72117
check free-form Scala source;

6 days ago agoclarified static_check: avoid accidental evaluation;
wenzelm [Mon, 25 May 2020 20:52:55 +0200] rev 72116
clarified static_check: avoid accidental evaluation;

6 days ago agoomit pointless memoing: Scala compiler is rather bulky anyway;
wenzelm [Mon, 25 May 2020 20:46:50 +0200] rev 72115
omit pointless memoing: Scala compiler is rather bulky anyway;

6 days ago agoclarified signature;
wenzelm [Mon, 25 May 2020 20:43:19 +0200] rev 72114
clarified signature;

6 days ago agoantiquotations for Scala entities;
wenzelm [Mon, 25 May 2020 19:10:38 +0200] rev 72113
antiquotations for Scala entities;

7 days ago agobetter closeup and more consistent terminology
haftmann [Sun, 24 May 2020 19:57:13 +0000] rev 72112
better closeup and more consistent terminology

7 days ago agomerged
wenzelm [Sun, 24 May 2020 21:11:23 +0200] rev 72111
merged