Idris Language Icon Image

Idris Language Vsix Version History

A Free Programming Languages Extension By meraymond

1 Votes, Average: 5 out of 5 Downloads: 4 Updated: November 12, 2022

VsixHub collected total 11 versions for Idris Language VSIX (meraymond.idris-vscode). You could download one of the legacy or old version of it.

Idris Language Extension for VSCode Version History

  1. Idris Language v0.0.14 VSIX File (Latest Version VSIX File)

    • Updated: November 12, 2022

    • Require: VS Code 1.44.0 and up

    • File Size: 81.52 KB (83478 Bytes)

    • MD5: eaae17062c8a975d48b4bbc78657346a

    • SHA1: 2f6bc73d4a026e2970893747700007ca5553dc48

    • SHA256: 400ce39bef19fb84c36cce5a9a1dd41244a6a749fc66544762950601ec085579

  2. Idris Language v0.0.13 VSIX File (Old Version VSIX File)

    • Updated: June 14, 2022

    • Require: VS Code 1.44.0 and up

    • File Size: 84.61 KB (86641 Bytes)

    • MD5: d4019bdc226f33a1cacb4c2fa66426b8

    • SHA1: 3f72995d57f7187692ef381ee9635d60f5c95781

    • SHA256: 51588ff5669d6f5d87e1476950ba7c4c6c09a82196af28d6b3dba05266709fc0

  3. Idris Language v0.0.12 VSIX File (Old Version VSIX File)

    • Updated: December 15, 2021

    • Require: VS Code 1.44.0 and up

    • File Size: 84.34 KB (86366 Bytes)

    • MD5: 448c22052a42d2a39127e0809e464ad5

    • SHA1: e92611538e09a3111b3c41342c9ee007f6636174

    • SHA256: e36da3e448339a7516cff248a6db417a7d022dedc2d64102ea2cd557422a77e3

  4. Idris Language v0.0.11 VSIX File (Old Version VSIX File)

    • Updated: October 14, 2021

    • Require: VS Code 1.44.0 and up

    • File Size: 83.87 KB (85887 Bytes)

    • MD5: ba14bf028062684b42a2754c46505866

    • SHA1: 6e8b2e131c2a7d90e7a4f752566c80cc0ac78638

    • SHA256: 185cf9880cda675aa7a07c73c65a2d9c3026f02c79b183187764f4eb36cedb35

  5. Idris Language v0.0.10 VSIX File (Old Version VSIX File)

    • Updated: July 14, 2021

    • Require: VS Code 1.44.0 and up

    • File Size: 77.28 KB (79139 Bytes)

    • MD5: 647f5876ce3ae241fe58f5eccb6d9acf

    • SHA1: 4d7750ff91dfa20c18360eb8fc5f772c5614a1c7

    • SHA256: a02db18dfb74a17cdd7891c8def51b20e33ba73de57ca63e37bcf665c2435897

  6. Idris Language v0.0.9 VSIX File (Old Version VSIX File)

    • Updated: March 29, 2021

    • Require: VS Code 1.44.0 and up

    • File Size: 75.49 KB (77300 Bytes)

    • MD5: 093ca44c49250e93b6b32dbb0783966a

    • SHA1: 7e85e3dad7accafbfb529e7ca63225eadec6056f

    • SHA256: 695770f46ddc99fcde6a2174df7ad0261bde72b0764090eaf2fe5245465cc89a

  7. Idris Language v0.0.8 VSIX File (Old Version VSIX File)

    • Updated: February 14, 2021

    • Require: VS Code 1.44.0 and up

    • File Size: 74.68 KB (76475 Bytes)

    • MD5: 777013906bef479a0d395e4210207f03

    • SHA1: 4b190a9436600d8c371d22e30d65d9c1d67a109a

    • SHA256: 89e5a4725a4559a64ce1c255b4e9a0c005b5caa8fee55580d665c9534c151c29

  8. Idris Language v0.0.7 VSIX File (Old Version VSIX File)

    • Updated: December 23, 2020

    • Require: VS Code 1.44.0 and up

    • File Size: 69.60 KB (71271 Bytes)

    • MD5: 50350a7ada7be5e3bb510296613909fb

    • SHA1: 7047e4e945774564ab36d72bcba16f95c1ff4834

    • SHA256: c6ec023f9cbef3865f306ca5aac3f072d219c717ec0ad9170373c8fe3a8cd51e

  9. Idris Language v0.0.6 VSIX File (Old Version VSIX File)

    • Updated: December 11, 2020

    • Require: VS Code 1.44.0 and up

    • File Size: 81.93 KB (83893 Bytes)

    • MD5: b2e0bbbb6a5b6094bdf82e71bae7a884

    • SHA1: 0dc2565fb1ac852c4c438827dec5d363da40bea7

    • SHA256: c7bdb86c510575625eb6e8feca12388e5f181f4dfed39dd6b88be20dbf636b06

  10. Idris Language v0.0.5 VSIX File (Old Version VSIX File)

    • Updated: December 7, 2020

    • Require: VS Code 1.44.0 and up

    • File Size: 81.70 KB (83659 Bytes)

    • MD5: 460b2c6b9cf1650e5ead25c5f74d7b8b

    • SHA1: 62a8c8801040a5408fe27d9754d11f4323ebd105

    • SHA256: 6f355e53fc4216c40abe4e11f938fc2034eb1d056f9e7c1b6d9d118bc7323c41

  11. Idris Language v0.0.4 VSIX File (Old Version VSIX File)

    • Updated: September 17, 2020

    • Require: VS Code 1.49.0 and up

    • File Size: 77.19 KB (79041 Bytes)

    • MD5: 99de04130cc600d6e48f87bf14844cf8

    • SHA1: f93b30bfb95db81d5100da40bd30b8b10dc61e58

    • SHA256: a464a7b2c90b40a6653e163447a54264ec9a25194c12ac60820247ccca8950d0

More Extension to Consider (Similar or Related)