Idea (awful, really bad, I'm joking): -fvalid-hole-fits for Agda
Follow
Though the question is whether this would be worse than using valid-hole-fits in the Agda repo 🤔🤔🤔🤔
Idea (awful, really bad, I'm joking): -fvalid-hole-fits for Agda
Though the question is whether this would be worse than using valid-hole-fits in the Agda repo 🤔🤔🤔🤔