From ba6bd211d049fac7abee323f7ee9158fc7391367 Mon Sep 17 00:00:00 2001
From: Victor Taelin <victor.taelin@gmail.com>
Date: Sat, 23 Jul 2022 13:23:32 -0300
Subject: [PATCH] Update README.md

---
 README.md | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/README.md b/README.md
index fa2ca35a..40797225 100644
--- a/README.md
+++ b/README.md
@@ -85,10 +85,4 @@ kind2 to-kdl example.kind2
 Benchmarks
 ----------
 
-### Type-Checker
-
-TODO
-
-### Runtime
-
-TODO
+In preliminary [benchmarks](/bench), Kind2's type-checker has outperformed Agda, Idris by 90x to 900x, which is an expressive difference. That said, we only tested a few small programs, so there isn't enough data to draw a conclusion yet. We're working on a more extensive benchmark suite.