diff --git a/README.md b/README.md
index c9a2bf6..9f8927c 100644
--- a/README.md
+++ b/README.md
@@ -8,13 +8,12 @@ Interpreter for a Minimal ML-like language whose ideal goal is to be used for bo
 
 milly's interpreter is written in portable ISO C11, sources are in `src/` and header files are in `include/`.
 
-If your system happens to have a `make` implementation compatible with **GNU Make**, you can just run:
+In order to build it, you must have **GNU Make** installed (in the future i'll try to remove this dependency)
+and you just have to run:
 
-> make
+> $  make
 
-Otherwise, something like this should work:
-
-> $(CC) -std=c11 -o milly -Iinclude/ src/*.c
+in the project root to obtain the executable `milly`.
 
 ## The language
 
@@ -33,6 +32,7 @@ here is a list of the features (or better, limitations) I want to introduce:
 - Automatic currying of functions, with optimised partial evaluation (unfeasible)
 - Delimited continuations (this is an overkill)
 - Easy syntax allowing easy kakoune support
+- A formal specification (this should be quite manageable to do, and also a good way to learn denotational semantics)
 
 milly's full grammar is specified as a pair of lex and yacc files in `ref_parser/`.