Commit Graph

5 Commits

Author SHA1 Message Date
c9402500e2 modernize type annotations 2023-02-23 13:15:32 -08:00
22735125d5 Lots of progress on tutorials 2023-01-24 23:25:10 -08: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