From cd94326ea30393a2337c944b12945faf8dee651f Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sat, 5 Mar 2022 21:37:17 +0100 Subject: [PATCH] Start typing functions. --- functions.rkt | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/functions.rkt b/functions.rkt index da1bb8a..41a4e7c 100644 --- a/functions.rkt +++ b/functions.rkt @@ -9,6 +9,17 @@ (require "utils.rkt") +(module typed typed/racket + (require "utils.rkt") + + (module+ test + (require typed/rackunit)) + ) + +(require 'typed) +(provide) + + (provide ;; Structures (contract-out