Posts tagged "agda" Proving the Fundamental Theorem of Arithmetic in Agda - June 26, 2026 Decidable equality for indexed data types, take 2 - August 22, 2025 Decidable equality for indexed data types - September 9, 2024
