How to download and setup agda-mode
Open terminal and run command
git clone https://github.com/banacorn/agda-mode.git
git clone is used to create a copy or clone of agda-mode repositories.
You pass git clone a repository URL. it supports a few different network protocols and corresponding URL formats.
Also you may download zip file with agda-mode https://github.com/banacorn/agda-mode/archive/master.zip
Or simply clone agda-mode with SSH
[email protected]:banacorn/agda-mode.git
If you have some problems with agda-mode
You may open issue on agda-mode support forum (system) here: https://github.com/banacorn/agda-mode/issuesSimilar to agda-mode repositories
Here you may see agda-mode alternatives and analogs
atom MagicPython Handlebars themecreator dracula-theme prettier-atom linter-eslint python-tools platformio-atom-ide codelf hydrogen teletype awesome-atom markdown-preview-enhanced go-plus atom-beautify simplepie atom-vim-mode-plus apm vienna-rss atomic-chrome miniflux-legacy merlin oneDNN atom gofeed seti-ui v2 atom-one-dark-terminal proton