- 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
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