Commit graph

3 commits

Author SHA1 Message Date
f3618f1648 lol 2025-06-27 15:08:13 +02:00
429b59b2b3 progress 2025-06-25 2025-06-25 22:02:54 +02:00
c18f56f7be type fixes and bindings + notes on subtyping 2025-06-25 20:31:25 +02:00