arroy

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

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, May 30th, 2017 6:08:29pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Versions
VersionSourceChecksum
defaultgithub://github.com/jeapostrophe/arroy/master487b8cbacc5f1f9a4600f55b8c0f7f148f7c2747
Last checkedSaturday, June 24th, 2017 3:08:28pm (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