- 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