lnsol/log-e-sappho
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

type fixes and bindings + notes on subtyping #1

Merged
lnsol merged 1 commit from subt-resurrection into main 2025-06-25 18:37:30 +00:00
Conversation 0 Commits 1 Files changed 28 +2253 -783

1 commit

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