From e25053fe2d36f2fda0a41dbec534b994211317d8 Mon Sep 17 00:00:00 2001 From: Performant Data Date: Thu, 8 Jul 2021 16:02:11 -0700 Subject: [PATCH] fix typo --- _sips/sips/2014-06-27-42.type.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_sips/sips/2014-06-27-42.type.md b/_sips/sips/2014-06-27-42.type.md index e0254e6e2c..1da91fba5a 100644 --- a/_sips/sips/2014-06-27-42.type.md +++ b/_sips/sips/2014-06-27-42.type.md @@ -217,7 +217,7 @@ the experience for many users across a wide variety of domains. [singleton-ops](https://github.com/fthomas/singleton-ops) are two libraries which build on shapeless's `Witness` to support refinement types for Scala. A refinement is a type-level predictate which constrains a set of values relative to some base type, for example, the type of integers -greater thar 5. +greater than 5. refined allows such types to be expressed in Scala using shapeless's `Witness`, ```