aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2016-06-06LaTeX formatting for derivation treesHEADmasterCamil Staps6-6/+173
2016-05-26ReadmeCamil Staps1-3/+2
2016-05-26Improved tree toString; reverse.smfCamil Staps3-7/+23
2016-05-26Overloading IO functions in step; POC derivation tree generationCamil Staps8-31/+181
2016-04-29fix toString for PushCamil Staps2-2/+1
2016-04-27Nicer cliCamil Staps10-551/+191
2016-04-12Initial commitCamil Staps10-0/+800