- https://github.com/stefan-hoeck/idris2-tutorial
- https://idris2.readthedocs.io/en/latest/tutorial/index.html
- TODO meraymond2/idris-vscode#80 (comment)
- https://github.com/idris-community/idris2-lsp#installation-with-pack
- https://github.com/stefan-hoeck/idris2-pack
- https://github.com/stefan-hoeck/idris2-pack-db
- https://github.com/xgrommx/idris-ecosystem
- https://github.com/claymager/idris2-pkgs
- https://gist.github.com/YBogomolov/dc49c610cf7d92c60fb4678bae3ab753
- https://github.com/dgellow/idris-docker-image
DejanMilicic/IdrisPlayground2
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|