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:
Matteo Bertorotta | Pruning the Infinite, Example-Based Synthesis using Context-Sensitive E-Graph Saturation
Next: