Guilherme Silva
Results
22
comments of
Guilherme Silva
@jamesmckinna , I have already made the modifications to the code using https://github.com/agda/agda-stdlib/pull/1923 .
I added all of your suggestions if I am not missing anything.