1 files changed, 8 insertions, 8 deletions
diff --git a/README.md b/README.md
index 1e7b121..9f26725 100644
--- a/README.md
+++ b/README.md
@@ -1,15 +1,17 @@
 # Haskell GraphQL
 
 [![Hackage Version](https://img.shields.io/hackage/v/graphql.svg)](https://hackage.haskell.org/package/graphql)
-[![Build Status](https://img.shields.io/travis/jdnavarro/graphql-haskell.svg)](https://travis-ci.org/jdnavarro/graphql-haskell)
+[![Build Status](https://semaphoreci.com/api/v1/belka-ew/graphql/branches/master/badge.svg)](https://semaphoreci.com/belka-ew/graphql)
+[![License](https://img.shields.io/badge/license-BSD--3--Clause-blue.svg)](https://raw.githubusercontent.com/caraus-ecms/graphql/master/LICENSE)
 
-For now this only provides the data types to represent the GraphQL AST,
-but the idea is to be a Haskell port of
-[`graphql-js`](https://github.com/graphql/graphql-js). Next releases
-should include:
+For now this only provides a parser for the GraphQL query language and allows
+to execute queries and mutations without the schema validation step.
+But the idea is to be a Haskell port of
+[`graphql-js`](https://github.com/graphql/graphql-js). Next releases should
+include:
 
 - [x] GraphQL AST
-- [x] Parser for the GraphQL language. See TODO for limitations.
+- [x] Parser for the GraphQL language.
 - [x] Printer for GraphQL. This is not pretty yet.
 - [ ] GraphQL Schema AST.
 - [ ] Parser for the GraphQL Schema language.
@@ -17,8 +19,6 @@ should include:
 - [ ] Interpreter of GraphQL requests.
 - [ ] Utilities to define GraphQL types and schema.
 
-See the TODO file for more concrete tasks.
-
 ## Contact
 
 Suggestions, contributions and bug reports are welcome.