Simon Forman
|
53ef16bee4
|
Minor cleanup.
|
2019-11-07 07:55:01 -08:00 |
|
Simon Forman
|
97a99ac3c4
|
Bits of formatting.
|
2019-07-22 10:04:32 -07:00 |
|
Simon Forman
|
df94c8feed
|
Minor cleanup.
|
2019-07-21 18:48:11 -07:00 |
|
Simon Forman
|
66d8a3be47
|
Remove write_state/5.
|
2019-07-21 17:56:34 -07:00 |
|
Simon Forman
|
6818abb3ce
|
Build a list of the moves taken.
|
2019-07-21 17:55:19 -07:00 |
|
Simon Forman
|
523cb3913b
|
Refactor a bit.
|
2019-07-21 17:25:22 -07:00 |
|
Simon Forman
|
482ac3023e
|
Messing with TLA+ in Prolog.
|
2019-07-21 11:50:27 -07:00 |