Georges Dupéron dd21c82c85 Added tests for different orders of types in the union for traversal.hl.rkt		2016-10-08 17:19:26 +02:00
..
adt-pre-declarations.rkt	Added support for type-to-replaceᵢ directly within a union.	2016-10-08 03:10:04 +02:00
ck.rkt	Preliminary support for tagged structures, early draft for unions	2016-10-03 23:55:26 +02:00
test-subtemplate.rkt	Finished tests for subtemplate	2016-10-07 11:58:33 +02:00
test-traversal-1.rkt	Ported traversal code to use subtemplate, fixed scope issue with subtemplate	2016-10-07 13:42:00 +02:00
test-traversal-2.rkt	Added tests for different orders of types in the union for traversal.hl.rkt	2016-10-08 17:19:26 +02:00