From e2a07d2845949a4f98f63c71d71835feabe726f1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=80=A5=E9=A0=88?= Date: Wed, 15 Dec 2021 15:28:32 +0100 Subject: [PATCH] Add missing "by" MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit "by" was missing in "[…] was inspired this library […]" --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 52890e978..9c1e0360e 100644 --- a/README.md +++ b/README.md @@ -486,7 +486,7 @@ for teaching, learning, and contributing as described in the Refinement Types via SMT and Predicate Abstraction * [Refinement Types in Typed Racket](http://blog.racket-lang.org/2017/11/adding-refinement-types.html) * [refined][refined.hs]: Refinement types with static and runtime checking for - Haskell. **refined** was inspired this library and even stole its name! + Haskell. **refined** was inspired by this library and even stole its name! * [refscript](https://github.com/UCSD-PL/refscript): Refinement Types for TypeScript * [Subtypes in Perl 6](https://design.perl6.org/S12.html#Types_and_Subtypes)