From 1985181586af6ce6703e34b715e9b05fcd258951 Mon Sep 17 00:00:00 2001 From: Victor Taelin Date: Mon, 18 Jul 2022 23:12:35 -0300 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 794c6e7a..8250d426 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,7 @@ features a blazingly fast type-checker that runs on the [HVM](https://github.com/kindelia/hvm) via [NbE](https://en.wikipedia.org/wiki/Normalisation_by_evaluation). It can also compile programs to HVM and [Kindelia](https://github.com/kindelia/kindelia), -and can be prove and verify mathematical theorems. +and can be used to prove and verify mathematical theorems. Example -------