5 Commits

Author	SHA1	Message	Date
Ilan Cosman	1b2fcb7f42	Rename to tide	2020-05-18 20:03:25 -07:00
Ilan Cosman	305cc12f54	Update tests, remove extraneous file	2020-05-15 16:27:26 -07:00
Ilan Cosman	8ad87ed74a	Update tests, fix cmd_duration, fix right_prompt	2020-05-13 15:25:02 -07:00
Ilan Cosman	957dc010b8	Upgrade lean_test	2020-05-09 15:38:07 -07:00
Ilan Cosman	a54a3dead5	Add lots of tests	2020-05-08 22:48:35 -07:00