diff --git a/.travis.yml b/.travis.yml
index b9a0c1e6..eec4f18f 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -26,6 +26,12 @@ before_install:
 - cd agda-master
 - stack install --stack-yaml=stack-8.2.2.yaml
 - cd ..
+# Download and install agda-stdlib
+- travis_retry curl -L https://github.com/agda/agda-stdlib/archive/master.zip -o agda-stdlib-master.zip
+- unzip -qq agda-stdlib-master.zip
+- mkdir ~/.agda
+- echo "standard-library" >> ~/.agda/defaults
+- echo "$TRAVIS_BUILD_DIR/agda-stdlib-master/standard-library.agda-lib" >> ~/.agda/libraries
 # Download and install agda2html
 - travis_retry curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o agda2html-master.zip
 - unzip -qq agda2html-master.zip