From b20b0e6c7b958d8c41e7d23804a7ebae0bb4bc47 Mon Sep 17 00:00:00 2001 From: Nick Reilingh Date: Sun, 15 Jan 2023 14:17:01 -0500 Subject: [PATCH] correct 'inductivelly' typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 6acce294..37f3c777 100644 --- a/README.md +++ b/README.md @@ -38,7 +38,7 @@ Main : IO (Result () String) { } ``` -Theorems can be proved inductivelly, as in [Agda](https://wiki.portal.chalmers.se/agda/pmwiki.php) and [Idris](https://www.idris-lang.org/): +Theorems can be proved inductively, as in [Agda](https://wiki.portal.chalmers.se/agda/pmwiki.php) and [Idris](https://www.idris-lang.org/): ```javascript // Black Friday Theorem. Proof that, for every Nat n: n * 2 / 2 == n.