Georges Dupéron ba76a5cfc7 Fixed typo, removed debugging output		2016-09-29 18:01:06 +02:00
..
test-match-typed.rkt	Partially reverted the last two commits, identifiers bound by list-rest and list are available in later patterns with match, I do not know what went wrong previously.	2016-09-25 09:58:20 +02:00
test-match.rkt	Fixed {~^ power:nat} for the match expander (the . rest was missing)	2016-09-29 17:21:30 +02:00
test-split-xlist-ann.rkt	Fixed typo, removed debugging output	2016-09-29 18:01:06 +02:00
test-split-xlist.rkt	Documented split-xlist, improved prcision of inference for fixed-length and bounded-length sublists	2016-09-25 15:53:21 +02:00
test-type-superscripts.rkt	Implemented, tested and documented xlist types	2016-09-21 04:30:39 +02:00
test-type.rkt	Tested and fixed rest and #:rest	2016-09-22 04:21:41 +02:00