4 Commits

Include renames

Author	SHA1	Message	Date
niten	93cc3cca4b	Remove plato. But keep it around for legacy.	2022-03-01 08:55:50 -08:00
niten	e79b9e9640	Add wormhole0	2022-02-27 15:04:24 -08:00
niten	7c094f43c4	Make plato, socrates, and limina hard	2021-12-09 10:28:02 -08:00
niten	fcaafb347e	Initial checkin	2021-11-22 06:40:37 -08:00