Remove obsolete scripts (#193)

exercism · Dec 1, 2024 · a231420 · a231420
1 parent d886adf
commit a231420
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 77 deletions.
diff --git a/bin/fetch-idris-testing.sh b/bin/fetch-idris-testing.sh
diff --git a/bin/fetch-stack.sh b/bin/fetch-stack.sh
diff --git a/bin/solve_exercises.sh b/bin/solve_exercises.sh
diff --git 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
@@ -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)