Skip to content

Instantly share code, notes, and snippets.

@frenchy64
Created February 5, 2017 02:48
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save frenchy64/0813bfa09e2d9bed0bdeeb6516688a1d to your computer and use it in GitHub Desktop.
Save frenchy64/0813bfa09e2d9bed0bdeeb6516688a1d to your computer and use it in GitHub Desktop.
(ann even (All [a]
(IFn [Int -> Boolean]
[(I a (Not Int)) -> (I a (Not Int))])))
(defn even [a]
(cond
(integer? a) (even? a)
:else a))
; (even 1) ; can't type check this yet... WIP
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment