Posts tagged "agda"

• Certainty by Construction: Done! October 30, 2023
• Certainty by Construction Progress Report 10 October 12, 2023
• Certainty by Construction Progress Report 9 September 2, 2023
• Certainty by Construction Progress Report 8 August 23, 2023
• Certainty by Construction Progress Report 7 August 12, 2023
• Certainty by Construction Progress Report 6 July 14, 2023
• Certainty by Construction Progress Report 5 June 20, 2023
• Certainty by Construction Progress Report 4 June 16, 2023
• Certainty by Construction Progress Report 3 May 25, 2023
• Certainty by Construction Progress Report 2 May 18, 2023
• Certainty by Construction Progress Report 1 May 12, 2023
• The Co-Blub Paradox March 24, 2023
• Review: Lightweight Semiformal Time Complexity Analysis for Purely Functional Data Structures March 6, 2022
• Review: A Very Elementary Introduction to Sheaves February 27, 2022
• Automatic Ring Solving February 16, 2022
• Review: Adders and Arrows January 7, 2022