Tue, 21 Sep 2021 19:42:30 +0200 | wenzelm | clarified partial application: immediate check of object-logic, and avoidance of context within closure; | file | diff | annotate |
Tue, 21 Sep 2021 13:12:14 +0200 | wenzelm | ML antiquotations for object-logic judgment; | file | diff | annotate |
Mon, 20 Sep 2021 20:43:38 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Sun, 19 Sep 2021 21:14:14 +0200 | wenzelm | support ML antiquotations with fn abstraction; | file | diff | annotate |
Sat, 11 Sep 2021 21:16:23 +0200 | wenzelm | ML antiquotations for type constructors and term constants; | file | diff | annotate |
Sat, 11 Sep 2021 13:04:32 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
Sun, 02 May 2021 14:07:19 +0200 | wenzelm | early definition of ML antiquotations; | file | diff | annotate | base |