Tag: Literate Idris
Found 1 extensions tagged with "Literate Idris".
Literate Idris related extensions
-
Idris Language 0.0.14 VSIX File for VS Code
Language support for Idris and Idris 2. ...
Found 1 extensions tagged with "Literate Idris".