diff --git a/bin/fetch-idris-testing.sh b/bin/fetch-idris-testing.sh
deleted file mode 100755
index 6e6f590..0000000
--- a/bin/fetch-idris-testing.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/usr/bin/env bash
-
-set -x
-
-mkdir -p build
-git clone https://github.com/yurrriq/idris-testing.git build/idris-testing
-
-pushd build/idris-testing
-make lib
-make install
-popd
diff --git a/bin/fetch-stack.sh b/bin/fetch-stack.sh
deleted file mode 100755
index 75f5257..0000000
--- a/bin/fetch-stack.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/usr/bin/env bash
-
-set -x
-
-path=$HOME/.local/bin
-stack_bin=$path/stack
-
-mkdir -p $path
-export PATH=$path:$PATH
-
-[[ -f $stack_bin ]] || curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C $path '*/stack'
\ No newline at end of file
diff --git a/bin/solve_exercises.sh b/bin/solve_exercises.sh
deleted file mode 100755
index d6fa44b..0000000
--- a/bin/solve_exercises.sh
+++ /dev/null
@@ -1,53 +0,0 @@
-#!/usr/bin/env bash
-
-set -x
-
-track_home=$(pwd)
-
-exercises=$(ls exercises | sed 's|/||g')
-total_exercises=$(echo ${exercises} | wc -w)
-current_exercise_number=1
-
-local -a green=()
-local -a red=()
-exit_code=0
-
-for exercise in $exercises; do
-    percentage=$(((current_exercise_number - 1) * 100 / total_exercises))
-    set +x
-    echo -e "\n\n"
-    echo "============================================="
-    echo "${current_exercise_number} of ${total_exercises} (${percentage}) -- ${exercise}"
-    echo "============================================="
-    set -x
-
-    pushd "exercises/${exercise}"
-
-    pushd example
-    cp *.idr ../src
-    popd
-
-    if make test; then
-        green+=(${exercise})
-    else
-        red+=(${exercise})
-        exit_code=$((exit_code + 1))
-    fi
-    popd
-
-    current_exercise_number=$((current_exercise_number + 1))
-done
-
-set +x
-
-echo "GOOD:"
-for i in ${green[@]}; do
-    echo " * ${i}"
-done
-
-echo -e "\n\nBAD:"
-for i in ${red[@]}; do
-    echo " * ${i}"
-done
-
-exit $exit_code
diff --git a/docs/LEARNING.md b/docs/LEARNING.md
index 1b9ee67..779dbbd 100644
--- a/docs/LEARNING.md
+++ b/docs/LEARNING.md
@@ -1,6 +1,6 @@
 # Learning
 
-- [The official documentation](http://docs.idris-lang.org/en/latest/index.html)
+- [The official documentation](https://docs.idris-lang.org/en/latest/index.html)
 
 This tutorial is intended as a brief introduction to the language,
 and is aimed at readers already familiar with a functional language such as Haskell or OCaml.
diff --git a/docs/SNIPPET.txt b/docs/SNIPPET.txt
index 1bc4990..a3c22ff 100644
--- a/docs/SNIPPET.txt
+++ b/docs/SNIPPET.txt
@@ -4,7 +4,6 @@ data Even : Nat -> Type where
   EZ : Even Z
   ES : Even n -> Even (S (S n))
 
-total
 ee : Even n -> Even m -> Even (n + m)
 ee EZ m     = m
 ee (ES n) m = ES (ee n m)