diff --git a/README.md b/README.md
index fc124b6..7b3d224 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,12 @@
-# dyon
+# Dyon
 A rusty dynamically typed scripting language
 
+```
+fn main() {
+    println("hello world!")
+}
+```
+
 [Tutorial](https://www.piston.rs/dyon-tutorial/)  
 [Dyon-Interactive](https://github.com/PistonDevelopers/dyon/tree/master/interactive)  
 [Dyon Snippets](https://github.com/PistonDevelopers/dyon_snippets)  
@@ -115,6 +121,7 @@ The idea was to make a simple, but convenient scripting language that integrated
 - Type safety for secrets, easy load/save of Dyon data
 - Link loop for easier and faster code generation and templates
 - In-types for easy cross thread communication
+- Lazy invariants, simple refinement types and binary operator overloading
 
 Main goals: