Lukas' Notes

Complex Type

Apr 05, 20261 min read

type-theory

Graph View

Created with Quartz v4.4.0 © 2026

GitHub