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

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

ko-fi

Posts tagged "agda"

Decidable equality for indexed data types - September 9, 2024

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