| (ns typed-play.core | |
| (:require-macros [clojure.core.typed :as ct]) | |
| (:require [clojure.core.typed :as ct])) | |
| (ct/ann my-identity (All [x] (Fn [x -> x]))) | |
| (defn my-identity [x] | |
| (if (number? x) | |
| (inc x) | |
| x)) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment