Update README.md

uwdb · Jul 19, 2017 · e3f2db2 · e3f2db2
1 parent b2fddf4
commit e3f2db2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -6,7 +6,7 @@ Cosette
 
 Cosette is a langague and an automated solver for reasoning SQL equivalences. 
 
-* Read [introducing cosette][blog] 
+* Read [Introducing Cosette][blog] 
 * See [the Cosette Guide][guide] to see how to use Cosette
 * Try Cosette [online demo][demo]
 * Check out cosette [website][web] for research papers about Cosette