on master help sign in
history oftest/Foo.hs
all commits
4d4858epolishing interface for 1.0 releaseMark Wotton bada8f0add hash requirement to checker, for better state space explorationMark Wotton 1f7fe08break up Types into modulesMark Wotton 0724d7aadd some examples, remove old codeMark Wotton