www

commit 11551ee8604812b225dfa6d208665b7ed224bae3
parent 31c3bba5c976248fc7f19b540cc631aace710e0c
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Thu, 23 Mar 2017 15:43:34 -0400

add turnstile/rackunit-typechecking abbrev

Diffstat:
A
turnstile/rackunit-typechecking.rkt
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/turnstile/rackunit-typechecking.rkt b/turnstile/rackunit-typechecking.rkt
@@ -0,0 +1,4 @@
+#lang racket/base
+;; extends rackunit with type-checking forms
+(require rackunit "examples/tests/rackunit-typechecking.rkt")
+(provide (all-from-out rackunit "examples/tests/rackunit-typechecking.rkt"))