Posts tagged "Agda"

• POPL Paper—Formalising Graphs with Coinduction - November 8, 2024
• POPL Paper—Algebraic Effects Meet Hoare Logic in Cubical Agda - November 7, 2023
• Depth Comonads - May 3, 2022
• ICFP Paper—Algebras for Weighted Search - June 21, 2021
• Master's Thesis - January 4, 2021
• Enumerating Trees - December 14, 2020
• How to set up GitHub Actions for your Agda project - November 18, 2020
• More Random Access Lists - May 2, 2020
• Terminating Tricky Traversals - January 29, 2020
• Lazy Constructive Numbers and the Stern-Brocot Tree - December 14, 2019
• A Small Proof that Fin is Injective - November 15, 2019
• How to do Binary Random-Access Lists Simply - November 2, 2019
• Bachelor's Thesis - July 14, 2019
• List Syntax in Agda - April 20, 2019
• Probability Monads in Cubical Agda - April 17, 2019
• Permutations By Sorting - March 24, 2019
• Lazy Binary Numbers - March 21, 2019
• More Agda Tips - March 14, 2019
• Finger Trees in Agda - February 25, 2019
• A New Ring Solver for Agda - January 25, 2019
• Balancing Scans - December 21, 2018
• Prime Sieves in Agda - December 14, 2018
• Keeping Formal Verification in Bounds - November 20, 2018
• Total Combinations - October 16, 2018
• Agda Beginner(-ish) Tips, Tricks, and Pitfalls - September 20, 2018
• Verified AVL Trees in Haskell and Agda - July 30, 2018