the algebra of dependent types

Linked 2025-05-29 00:32:09

made by jutty with Zola • BSD-licensed source code • acknowledgments
built 2025-06-11 00:46 UTC, 1749602811 non-leap seconds since the Unix Epoch