Skip to content

Instantly share code, notes, and snippets.

@deque-blog
Created March 8, 2017 22:33
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/0506faf26d6fa6bdc4714eb2edcd765a to your computer and use it in GitHub Desktop.
Save deque-blog/0506faf26d6fa6bdc4714eb2edcd765a to your computer and use it in GitHub Desktop.
(s/def ::game (s/coll-of ::turn/turn))
(s/fdef current-turn
:args (s/cat :game ::game)
:ret ::turn/turn)
(s/fdef play-move
:args (s/cat :game ::game
:coord ::board/coord)
:ret ::game)
(s/fdef undo-player-move
:args (s/cat :game ::game)
:ret ::game)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment