Skip to content

Instantly share code, notes, and snippets.

@m4lvin

m4lvin/stack-install-agda-plus-stdlib.sh

Created June 20, 2019 09:20
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save m4lvin/bc5cfb31375e72c743bc502b0dc6e663 to your computer and use it in GitHub Desktop.
Save m4lvin/bc5cfb31375e72c743bc502b0dc6e663 to your computer and use it in GitHub Desktop.
Download ZIP
How to install Agda 2.5.4.2 from stackage with stack instead of cabal
Raw
stack-install-agda-plus-stdlib.sh
# install Agda 2.5.4.2 from stackage with stack instead of cabal
cd $HOME
stack install --resolver lts-12.26 Agda
# install standard library v0.17
cd $HOME/gits
git clone
git clone https://github.com/agda/agda-stdlib.git
cd agda-stdlib
git checkout v0.17
# register and always use standard library, see
mkdir $HOME/.agda
echo "$HOME/gits/agda-stdlib/standard-library.agda-lib" > $HOME/.agda/libraries
echo "standard-library" > $HOME/.agda/defaults
# optional
agda-mode compile
# configure emacs
agda-mode setup
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment