arroy

A little library for modeling labeled transition systems with a collaborative Web stepper.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 3:51:12pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgithub://github.com/jeapostrophe/arroy/master487b8cbacc5f1f9a4600f55b8c0f7f148f7c2747
Last checkedTuesday, October 17th, 2017 10:09:53pm (UTC)
Last editedWednesday, November 27th, 2013 9:52:39pm (UTC)
Modules
  • arroy/main.rkt
  • arroy/lts.rkt
  • arroy/games/ttt.rkt
  • arroy/games/ghost.rkt
  • arroy/games/guess.rkt