From bfb605e0e54f00e763417dbcc2fa480ae8c39525 Mon Sep 17 00:00:00 2001
From: Jack Huey <31162821+jackh726@users.noreply.github.com>
Date: Wed, 17 Jun 2020 16:40:40 -0400
Subject: [PATCH] Change README to be more clear

---
 README.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 21887073f69..da9cfafca28 100644
--- a/README.md
+++ b/README.md
@@ -4,8 +4,7 @@
 
 # chalk
 
-A [Prolog-ish][Prolog] interpreter written in Rust, intended perhaps for use in
-the compiler, but also for experimentation.
+Chalk is a library that implements the Rust trait system, based on [Prolog-ish][Prolog] logic rules.
 
 See the [Chalk book](https://rust-lang.github.io/chalk/book/) for more information.