agda-holes

agda-holes copied to clipboard

I found a few bugs while proving P=NP, I think this poorly written code cost me the millenium prize - you owe me the million dollars, plz pay up

For-The-Wolf

Is Agda Holes still being maintained?

1

Sorry that I sent this as an issue, since I don't know of other ways to contact you. Thank you for creating Agda.Holes! I am wondering whether it is still...

scmu