Commit graph

1 commit

Author SHA1 Message Date
c18f56f7be type fixes and bindings + notes on subtyping 2025-06-25 20:31:25 +02:00