Commit Graph

5 Commits

Author SHA1 Message Date
jan
47d655d270 tutorial updates 2022-02-27 21:23:03 -08:00
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