search

derekelkins / agda-vim

Agda interaction in vim
BSD 2-Clause "Simplified" License
130 stars 47 forks source link

Python 3 Support #26

Open tc-0 opened 7 years ago

tc-0 commented 7 years ago

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.

stephen-smith commented 1 year ago

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?