Found 1 extensions tagged with "idris".
Speedy Moq 0.1.2 for VSCode
Tact Language Support 0.1.4 for VSCode
Anima 1.0.26 for VSCode
Python Docstring Highlighter 0.2.3 for VSCode
Autotools Integration 0.3.1 for VSCode
Tailwind Skeleton Generator 0.6.0 for VSCode
GnuCOBOL 0.9.11 for VSCode
AutoDev 0.0.2 for VSCode
Released: November 16, 2015
Updated: April 2, 2024
Released: May 31, 2017
Updated: April 4, 2024
Released: April 19, 2018
Released: December 1, 2017
Updated: April 5, 2024
Released: August 4, 2023
Updated: April 3, 2024
Released: March 26, 2024
Updated: March 26, 2024
Released: August 14, 2023
Updated: November 29, 2023
Released: September 29, 2022
Released: February 26, 2024
Updated: March 27, 2024
Released: April 23, 2024
Updated: April 23, 2024