Add an initial draft of the proton spec
Add disqualification
make the output with disqualification make sense
Make the examples actually good
All is important
Address some feedback from @prophile and @peterjclaw
Idempotency, no IO
Regex the TLA
OMG MUST THE OUTPUT
Must can is not a thing
Sam is bad
Clear up some terminology
Many fixings
Corners matter now
Zones, not corners
Merge pull request #1 from samphippen/spec-rfc

Add an initial draft of the proton spec