Cleaned README.md

README.md

@@ -1,11 +1,12 @@
 # λχ[ ]
 
-λχ[ ] is a polymorphic record-calculus. This repository contains an Haskell implementation of the calculus and a REPL to interact with it.
+λχ[ ] is a polymorphic λ-calculus with support for records and operations to modify them. 
+This repository contains an Haskell implementation of the calculus and a REPL to interact with it.
 
 # Installation
 
 ```sh
-cabal install ...
+cabal install
 ```
 
 # How to run
@@ -28,18 +29,12 @@ Execute `cabal run` to start the REPL.
 
 # Tests
 
---- 
-
-This work has been done as part of my Master's thesis at [FEUP](https://sigarra.up.pt/feup/en/). The thesis is about the implementation of an efficent compilation of polymorphic record-calculus.
-
----
+To run the tests suite, execute:
 
-difference(r1, {A: 1, B: 2})
-merge(r1, { A: 1, B: 2})
+```
+cabal test
+```
 
--- TODO: Buneman et al 1991; Ohori 1990 (natural join)
--- Ohori 1995 (generalized join)
+--- 
 
-https://markkarpov.com/tutorial/megaparsec.html#parsect-and-parsec-monads
-https://stackoverflow.com/questions/53239098/haskell-megaparsec-reserved-word-parsed-as-identifier
-https://gist.github.com/samueldurantes/daf0ac61c8949ce7781d64312cb8cd0a
+This work has been done as part of my Master's thesis at [FEUP](https://sigarra.up.pt/feup/en/).