agda-vim icon indicating copy to clipboard operation
agda-vim copied to clipboard

Published 20 hours ago • verified publisher icon derekelkins

Python 3 Support

Open tc-0 opened this issue 8 years ago • 1 comments

Hi, I tried to implement python3 support for your plugin as my vim has no python2. You can have a look at https://github.com/tc-0/agda-vim. I do not want to open a pull request as the code is only tested on a single example (a case distinction with unicode symbols) and I actually have no clue of agda whatsoever but wanted to learn a bit of it with your plugin.

I hope you can do something useful with the code.

tc-0 avatar Mar 22 '17 16:03 tc-0

Any improvement here? In 2023, I don't think depending on Python 2 is acceptable.

Should I just switch to the fork, or might this issue be addresses in the main repo sometime in the next 5 years?

stephen-smith avatar Feb 07 '23 02:02 stephen-smith