AgdaCheatSheet

emacs

Basics of the dependently-typed functional language Agda ^_^

How to download and setup AgdaCheatSheet

Open terminal and run command

git clone https://github.com/alhassy/AgdaCheatSheet.git

git clone is used to create a copy or clone of AgdaCheatSheet 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 AgdaCheatSheet https://github.com/alhassy/AgdaCheatSheet/archive/master.zip

Or simply clone AgdaCheatSheet with SSH

[email protected]:alhassy/AgdaCheatSheet.git

If you have some problems with AgdaCheatSheet

You may open issue on AgdaCheatSheet support forum (system) here: https://github.com/alhassy/AgdaCheatSheet/issues

Similar to AgdaCheatSheet repositories

Here you may see AgdaCheatSheet alternatives and analogs

themecreator dracula-theme lazyblorg spacemacs dotfiles dotfiles Emacs-Elisp-Programming eslint_d.js books-pdf remacs merlin helm-gitignore import-js term-plus-el cider nyxt awesome-emacs magit projectile helm use-package know-your-http-well flycheck doomemacs Spacemacs-rocks smartparens slime intero lsp-mode Indium