From deb7546b0ee51b69741782b989005b196d10ae9d Mon Sep 17 00:00:00 2001
From: Andrey Mokhov <andrey.mokhov@gmail.com>
Date: Sun, 16 Apr 2017 02:34:19 +0100
Subject: [PATCH] Add CI

---
 .travis.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 .travis.yml

diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 0000000..76d447c
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,15 @@
+sudo: required
+
+language: ruby
+
+services:
+- docker
+
+before_install:
+- docker pull scottfleischman/agda:2.5.2
+
+env:
+- AGDA_FILE="src/Theorems.agda"
+
+script:
+- docker run -v $TRAVIS_BUILD_DIR:/opt/agda-build scottfleischman/agda:2.5.2 /bin/sh -c 'cd /opt/agda-build; agda '$AGDA_FILE