Remove the definition of inconsistent predicates
Move transitiveClosure over to the Extra module
Remove the TODO things that have been done
Define server0 and use it for all Server construction
Add some extra information to the type
Use record wild cards in the web function
Improve the detection of a broken state, spot it sooner to ensure you get a consistent result
If there are any fatal errors, stop processing API messages
On a broken result, stop processing, don't send emails in a tight loop (ahem)
Report fatal errors in the web UI
Add RunInit and RunUpdate so the server can do more things in a background process
Always use .bake as the output file name
Remove the --output arguments from the run commands
Fix up the location of a deriving, merge issue
Add an NFData instance to Str
Add NFData instances for State, Patch,Test and Client
Add something for self-running executables
Switch patchExtra to using runExtra
Switch Client to using runTest
Make sure the directories to create match what the docs say