Commit Graph

5 Commits

Author SHA1 Message Date
1463535676 modernize type annotations 2023-10-15 16:18:33 -07:00
f4537a0feb Lots of progress on tutorials 2023-10-15 16:18:32 -07:00
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