4 commits

Author	SHA1	Message	Date
Michael Zhang	fbd3d8ffd2	ok	2020-02-23 05:11:51 -06:00
Michael Zhang	0daf13f066	call it a night	2020-02-21 03:25:27 -06:00
Michael Zhang	96df945dbc	fix code according to proptest	2020-02-21 02:37:03 -06:00
Michael Zhang	f9c478276d	proptests for parser	2020-02-21 00:03:25 -06:00