From ad3b5a1305e9043bdcc5d31a0347bf48f35e75bf Mon Sep 17 00:00:00 2001 From: ben Date: Fri, 4 Mar 2016 18:34:18 -0500 Subject: [PATCH] [function] curry/no-colon --- function/no-colon.rkt | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 function/no-colon.rkt diff --git a/function/no-colon.rkt b/function/no-colon.rkt new file mode 100644 index 0000000..5e629eb --- /dev/null +++ b/function/no-colon.rkt @@ -0,0 +1,6 @@ +#lang typed/racket/base + +(provide (all-from-out trivial/function)) + +(require (rename-in trivial/function + [curry: curry]))