Agda Mode Icon Image

Agda Mode Vsix Version History

A Free Other Extension By Ting-Gian LUA

0 Votes, Average: 5 out of 5 Downloads: 4 Updated: December 16, 2023

VsixHub collected total 37 versions for Agda Mode VSIX (banacorn.agda-mode). You could download one of the legacy or old version of it.

Agda Mode Extension for VSCode Version History

  1. Agda Mode v0.4.7 VSIX File (Latest Version VSIX File)

    • Updated: December 16, 2023

    • Require: VS Code 1.74.0 and up

    • File Size: 563.00 KB (576514 Bytes)

    • MD5: 051855f713919a966db0425e730b30d0

    • SHA1: ddcbbdd74316e1a60559eb8720dfab5d6d808bca

    • SHA256: 80d6b79f5ea53f7a28051bc66ae813b9ae085dc233a4c93b8c160c24342c634d

  2. Agda Mode v0.4.6 VSIX File (Old Version VSIX File)

    • Updated: December 9, 2023

    • Require: VS Code 1.74.0 and up

    • File Size: 546.25 KB (559364 Bytes)

    • MD5: 64da3d88ac9ab92150483af1ada1cae4

    • SHA1: 3b85f4a583d84cef245e05ab1537ca7642e2cea2

    • SHA256: 7c4fa770a56710180cdca13d0084bf3b2e6e35126c03ed8e15f56d00493b769b

  3. Agda Mode v0.4.4 VSIX File (Old Version VSIX File)

    • Updated: December 3, 2023

    • Require: VS Code 1.74.0 and up

    • File Size: 566.26 KB (579846 Bytes)

    • MD5: 53464076fd00ee71d7e814ebc75d50cb

    • SHA1: ba1d392e0f29823a22535f65cae08419f0f245aa

    • SHA256: 36c93d97aa33e1e519d3ddd32f5a826ba40abce45d0d2921e3eea0c85d08334e

  4. Agda Mode v0.4.2 VSIX File (Old Version VSIX File)

    • Updated: November 20, 2023

    • Require: VS Code 1.41.0 and up

    • File Size: 572.64 KB (586386 Bytes)

    • MD5: b86bc4d88e95a6dabb195cb4b782e362

    • SHA1: f6cb3e59e8b6619046400c6b71c7683d197d3c5b

    • SHA256: d6ef96c9f23cf497740b42614bf4f237bfeaf631f40879ce73153bc4a7ece7a8

  5. Agda Mode v0.4.1 VSIX File (Old Version VSIX File)

    • Updated: September 4, 2023

    • Require: VS Code 1.41.0 and up

    • File Size: 563.89 KB (577428 Bytes)

    • MD5: 1fc382641de28d6a904964cf7bc18e3e

    • SHA1: e3333b18953d65006680f77c0d7221bd5ab2c804

    • SHA256: 66dd8e89f852e412341dc31990a39ad60a95f55a63d2521447a55c1ef5f933da

  6. Agda Mode v0.4.0 VSIX File (Old Version VSIX File)

    • Updated: August 2, 2023

    • Require: VS Code 1.41.0 and up

    • File Size: 559.89 KB (573324 Bytes)

    • MD5: d30a32abcaa88902fca204240e1b6ae7

    • SHA1: 5584ddd48aea48a0fb5fb599b78cc76b0343198d

    • SHA256: 1ff16068d942d0719a21a952d7b87bc6680a0f002d444d498181ee3885b8c1b0

  7. Agda Mode v0.3.12 VSIX File (Old Version VSIX File)

    • Updated: July 24, 2023

    • Require: VS Code 1.41.0 and up

    • File Size: 564.07 KB (577604 Bytes)

    • MD5: 0df3cf1c49fc117882f10e3f18f97db5

    • SHA1: e1f23697ec906aff9307d48cc91ad7fb273cb76b

    • SHA256: 45acd7f9de3cc4b01407a62429583f13e2876ac395fc5dfde48feaffb0ccbba3

  8. Agda Mode v0.3.11 VSIX File (Old Version VSIX File)

    • Updated: August 11, 2022

    • Require: VS Code 1.41.0 and up

    • File Size: 489.80 KB (501551 Bytes)

    • MD5: afd716389f18ba05d01888583f8d480f

    • SHA1: 1d5849d3b6e36f758ba5a85b04e663ce86c26ef7

    • SHA256: 8e71f7a0daaf90effe3a2fbc30cd51aa8a0f16b41930358b4849eb54b9dce552

  9. Agda Mode v0.3.10 VSIX File (Old Version VSIX File)

    • Updated: August 6, 2022

    • Require: VS Code 1.41.0 and up

    • File Size: 489.70 KB (501452 Bytes)

    • MD5: 3e2f8cecca5308b161aed81bb6287ad8

    • SHA1: 12feba5e2e393aaba08068fb4f2b1a3e49ea2c47

    • SHA256: 624b6e166ee425997d5116f2bf1c2b41d45313e06c6d8fdd1192b9ef0dceb19f

  10. Agda Mode v0.3.9 VSIX File (Old Version VSIX File)

    • Updated: May 5, 2022

    • Require: VS Code 1.41.0 and up

    • File Size: 479.02 KB (490521 Bytes)

    • MD5: fc842e1c422b4d755ea5900cb523f9c9

    • SHA1: d36d7cac2255d5bd61d555dc85b587d117b4fd0b

    • SHA256: ab3a40b440dc03013abe2a96d6c1dcd07b56ea012dca613f817d75da684d1747

  11. Agda Mode v0.3.8 VSIX File (Old Version VSIX File)

    • Updated: May 2, 2022

    • Require: VS Code 1.41.0 and up

    • File Size: 478.89 KB (490384 Bytes)

    • MD5: aaf917d6375412aa662d8b01301082ef

    • SHA1: ebf80e880b2a672466bcfdc8a60cc77f6e82ecd6

    • SHA256: 0c26d6d5b1359ea14da89b4cfc243446e10b2284f82ac426ac41edcd6f46439d

  12. Agda Mode v0.3.7 VSIX File (Old Version VSIX File)

    • Updated: December 21, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 478.93 KB (490425 Bytes)

    • MD5: a8ec28d659ee8208c0da00c901144ae0

    • SHA1: 26f1cb9a6d17aa349c925d90f7d34073e456abef

    • SHA256: 2be917c89d7249d3e241004a58f082df13508a2d33bb58de2890e446fd6ab442

  13. Agda Mode v0.3.6 VSIX File (Old Version VSIX File)

    • Updated: October 29, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 476.81 KB (488258 Bytes)

    • MD5: 37498d21b56b4a5b29e009a5e9c3fec1

    • SHA1: b94f9003fcb7cbb12845e1aafe1047745941559d

    • SHA256: 959bcd78bd9a6d829a7fc2b02fab0fe72cbf792432990195635965b85812fac5

  14. Agda Mode v0.3.5 VSIX File (Old Version VSIX File)

    • Updated: October 25, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 476.80 KB (488248 Bytes)

    • MD5: d820c44d400d201e4df3f9ef14d358fe

    • SHA1: fafd57085dfb51057ddd97998f9f862375b49cb6

    • SHA256: 56b48281246f7ff1629cec2fdd75e08cc146cc1db53cd59d82c4becb33f1cce8

  15. Agda Mode v0.3.4 VSIX File (Old Version VSIX File)

    • Updated: October 22, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 476.74 KB (488178 Bytes)

    • MD5: c7a6b72ece05f6172ca37c0f82ddb893

    • SHA1: 8eb84c49922898d1bcd158830754f0f7d90b9745

    • SHA256: 1b2f8aae6636074b959668dc56edb3d390419f2d19d5f7ee1e803033b9f1b72f

More Extension to Consider (Similar or Related)