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