4 Commits

Author	SHA1	Message	Date
jan	b2a8a1749a	improve type checking and make some type-related fixes	2022-02-27 21:23:03 -08:00
jan	1515ed878f	use string ptypes	2022-02-27 21:23:03 -08:00
jan	40c81f53ed	reformat arg lists	2022-02-27 21:23:03 -08:00
jan	9b3b30b141	start work on tutorial	2022-02-27 21:23:03 -08:00