Open Glubs9 opened 2 years ago
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 pushed to npm yet. I did install it from there.
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 pushed to npm yet. I did install it from there.