4 commits

Author	SHA1	Message	Date
Ellen Arvidsson	333534a8d1	fixing parsing	2025-06-28 00:20:45 +02:00
Ellen Arvidsson	0aa49cfe9b	progress 2025-06-27	2025-06-27 15:09:08 +02:00
Ellen Arvidsson	65066c493e	typo	2025-06-27 02:45:56 +02:00
Ellen Arvidsson	c18f56f7be	type fixes and bindings + notes on subtyping	2025-06-25 20:31:25 +02:00