Skip to content

Instantly share code, notes, and snippets.

@deque-blog
Last active March 7, 2017 22:31
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 deque-blog/77f1528747e56a05540f9c0b2c8b7de7 to your computer and use it in GitHub Desktop.
Save deque-blog/77f1528747e56a05540f9c0b2c8b7de7 to your computer and use it in GitHub Desktop.
(s/def ::destination ::board/coord)
(s/def ::taken (s/coll-of ::board/coord))
(s/def ::winner ::player/player)
(s/def ::looser ::player/player)
(s/def ::jump
(s/keys :req-un [::destination ::taken ::winner ::looser]))
(s/def ::transition (s/every ::jump))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment