www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | Submodules | README | LICENSE

commit 56f58a1ddf689f158d67b0278e7f92107b2f5b38
parent cbd0addb8e150f5fbca2a777095419aa7ce5f29b
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri,  5 May 2017 03:38:58 +0200

Typo

Diffstat:
Mtest/test-contracts-to-types.rkt | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/test-contracts-to-types.rkt b/test/test-contracts-to-types.rkt @@ -51,6 +51,6 @@ W) number? string?)) - '(Rec W (U (Pairof '(Rec R (U (Pairof R W) Null)) W) + '(Rec W (U (Pairof (Rec R (U (Pairof R W) Null)) W) Number String))) \ No newline at end of file