the algebra of dependent types

By Tony Finch Linked 2025-05-29 00:32:09

made by jutty with Zola • source code • privacy • acknowledgments
built 2026-05-20 03:30 UTC, 1779247831 non-leap seconds since the Unix Epoch