2 Commits

Author	SHA1	Message	Date
Lucien Greathouse	0c7a94c062	Update more code to new formatting machinery	2019-11-18 15:18:06 -08:00
Lucien Greathouse	1ee679395d	Add 'invariant' function for debugging	2019-10-03 17:12:08 -07:00