First customer action: download a zip. The zip contains scripts, databases, documentation
--> action for me: write a tool which creates a zip
Second customer action: run the contents of the zip
--> action for me: document dependencies
--> task: define what "working" means
I'll define "working" by the following use cases:
- for a single derivation, generate the PNG of the graph
- for each of N derivations, generate a PNG per derivation
- for all derivations, generate a PNG
- for a single derivation, generate the HTML/d3js of the graph
- for each of N derivations, generate a HTML/d3js per derivation
- for all derivations, generate a HTML/d3js
- user should be able to enter a new derivation
These tasks require subtasks
- generate PNG per expression
- generate new random index that doesn't conflict
Other actions:
--> publish inference rules to website
--> provide example for each inference rule
--> publish reports (currently PDF) as HTML
