Fixed go to definition to work with Agda 2.6+, improved unicode support, added support for python 3#52
Open
1000000000 wants to merge 2 commits intoderekelkins:masterfrom
Open
Fixed go to definition to work with Agda 2.6+, improved unicode support, added support for python 3#521000000000 wants to merge 2 commits intoderekelkins:masterfrom
1000000000 wants to merge 2 commits intoderekelkins:masterfrom
