- 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
-
Notifications
You must be signed in to change notification settings - Fork 0
License
DejanMilicic/IdrisPlayground2
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published