4 Commits

Author	SHA1	Message	Date
Ethan Buchman	d2cd079541	types: tests build	2018-03-02 01:28:21 -05:00
Ethan Buchman	6a4fd46479	fixes from rebase	2017-12-26 20:42:34 -05:00
Ethan Buchman	6e9433c7a8	post rebase fix	2017-12-26 20:21:17 -05:00
Ethan Buchman	9cdcffbe4b	types: comments; compiles; evidence test	2017-12-26 20:21:17 -05:00