Commit Graph
2 Commits
Author SHA1 Message Date
Anton Kaliaev 91efacfabc remove types.Result 2017-11-22 17:44:39 -06:00
Jae Kwon 2a4894310d Remove Proof message, replace with more flexible Query 2017-01-27 10:35:27 -08:00