Enhancing Agda's Error Messages with Hints
Maria Khakimova
Date: Wed, June 11, 2025
Time: 12:00
Room: Building 28 - 0.E.420 Turing
Previous:
Andreas Nuyts | Extensible types as unknown bialgebras
Next: