Idris 2 (idris2)
Develop Idris2 Applications
Options
| Options Id | Description | Type | Default Value |
|---|---|---|---|
| idris2Version | Idris 2 version: | string | latest |
Note
This template uses the devcontainer image from joshuanianji/idris-2-docker, which builds Idris2 for arm and x86 architectures. If you have an issue with the devcontainer, it is likely an issue with the image! Please open an issue on the joshuanianji/idris-2-docker Github repo.
Changelog
| Version | Notes |
|---|---|
| 0.1.0 | Add common-utils feature, add README notes |
| 0.0.0 | Initial Version |
Note: This file was auto-generated from the devcontainer-template.json. Add additional notes to a NOTES.md.