Agda User Manual v2.6.2[https://atom.io/packages/agda-mode], Visual Studio Code via the agda mode for VSCode [https://marketplace.visualstudio.com/items? itemName=banacorn.agda-mode], and Vim via agda-vim [https://github.co0 码力 | 348 页 | 414.11 KB | 1 年前3- Agda User Manual v2.6.2.2[https://atom.io/packages/agda-mode], Visual Studio Code via the agda mode for VSCode [https://marketplace.visualstudio.com/items? itemName=banacorn.agda-mode], and Vim via agda-vim [https://github.co0 码力 | 354 页 | 433.60 KB | 1 年前3
- Agda User Manual v2.6.2.1[https://atom.io/packages/agda-mode], Visual Studio Code via the agda mode for VSCode [https://marketplace.visualstudio.com/items? itemName=banacorn.agda-mode], and Vim via agda-vim [https://github.co0 码力 | 350 页 | 416.80 KB | 1 年前3
- Agda User Manual v2.6.3[https://atom.io/packages/agda-mode], Visual Studio Code via the agda mode for VSCode [https://marketplace.visualstudio.com/items? itemName=banacorn.agda-mode], and Vim via agda-vim [https://github.co0 码力 | 379 页 | 354.83 KB | 1 年前3
共 4 条
- 1