Commit Graph

3 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
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