this seems like it's likely inspired by Idris, to which i say: awesome!

		keeganpoppen on Nov 1, 2024 \| parent \| context \| favorite \| on: Hazel: A live functional programming environment f... this seems like it's likely inspired by Idris, to which i say: awesome!