Start typing functions.

This commit is contained in:
Sergiu Ivanov 2022-03-05 21:37:17 +01:00
parent 3e16dbe3c8
commit cd94326ea3

View file

@ -9,6 +9,17 @@
(require "utils.rkt") (require "utils.rkt")
(module typed typed/racket
(require "utils.rkt")
(module+ test
(require typed/rackunit))
)
(require 'typed)
(provide)
(provide (provide
;; Structures ;; Structures
(contract-out (contract-out