Commit graph

2 commits

Author SHA1 Message Date
cc04638f1e minor cleanup 2023-08-03 14:47:21 +02:00
ba3a199249 typeck cleanup 2023-08-03 14:40:25 +02:00