Skip to content

Instantly share code, notes, and snippets.

@jrheard

jrheard/quinto_specs.cljs

Last active January 10, 2018 16:49
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 jrheard/637d5815786edb8aa44100c018470eb3 to your computer and use it in GitHub Desktop.
Save jrheard/637d5815786edb8aa44100c018470eb3 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
quinto_specs.cljs
(s/def ::cell (s/cat :x nat-int? :y nat-int?))
(s/def ::value (s/and nat-int? #(<= % 9)))
(s/def ::deck (s/coll-of ::value))
(s/def ::hand (s/coll-of ::value :min-count 0 :max-count 5))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment