Tue, 02 Nov 2010 12:37:12 +0100 | traytel | Attribute map_function -> coercion_map; | file | diff | annotate |
Fri, 29 Oct 2010 22:54:54 +0200 | wenzelm | more sharing of operations, without aliases; | file | diff | annotate |
Fri, 29 Oct 2010 22:22:36 +0200 | wenzelm | simplified data lookup; | file | diff | annotate |
Fri, 29 Oct 2010 22:19:27 +0200 | wenzelm | export declarations by default, to allow other ML packages by-pass concrete syntax; | file | diff | annotate |
Fri, 29 Oct 2010 22:07:48 +0200 | wenzelm | proper signature constraint for ML structure; | file | diff | annotate |
Fri, 29 Oct 2010 21:49:33 +0200 | wenzelm | proper header; | file | diff | annotate |
Fri, 29 Oct 2010 21:34:07 +0200 | wenzelm | Coercive subtyping via subtype constraints, by Dmitriy Traytel (21-Oct-2010). | file | diff | annotate |