Glubs9
Results
1
issues of
Glubs9
It does say on the readme that agda is supported but my agda files (with the .agda) extension, it errors that it is not supported. Potentially this version hasn't been...