blog :: Brent -> [String] - Posts tagged "dependent"

Home • About • RSS • BlogLiterately • Catsters Guide • How To Print Things •

ko-fi

Posts tagged "dependent"

Decidable equality for indexed data types, take 2 - August 22, 2025

Site proudly generated by Hakyll. 95% human, 5% cotton-polyester blend, 0% LLM.

blog :: Brent -> [String] © 2007 - 2025 by Brent Yorgey is licensed under CC BY 4.0