From 02884280902171cee183347a052ddd1e01be0d41 Mon Sep 17 00:00:00 2001
From: Natapat Samutpong <natapat.samutpong@gmail.com>
Date: Sat, 19 Mar 2022 10:32:15 +0700
Subject: [PATCH] Update README.md

---
 README.md | 128 ++++++++++++++++++++++++++++++++++++++----------------
 1 file changed, 90 insertions(+), 38 deletions(-)

diff --git a/README.md b/README.md
index a3fd413..8dcd14f 100644
--- a/README.md
+++ b/README.md
@@ -23,50 +23,102 @@ Note: Everything in this project can be changed at anytime! (I'm still finding o
 # Contributing
 Found a bug? Found a better way to do something? Make a pull request or tell me in the issues tab! Anything contributions helps :D
 
-Wanna see how it works under the hood? see the [How it works](https://github.com/azur1s/hazure#how-it-works) tab, you should probably understand it a bit more.
-
 Steps to build:
 1) Clone this repo `https://github.com/azur1s/hazure.git`
 2) Build executable `cargo build`
 3) Try running some examples! `path/to/executable compile path/to/file.hz`
 
-# How it works
+# Syntax
+> This language is still in development, the syntax can be changed at anytime.
+
+Hazure is a [free-form](https://en.wikipedia.org/wiki/Free-form_language) syntax style, so the indentation is purely for readability.
+
+```sml
+fun main: void = do
+    @write("Hello, World!");
+end;
 ```
-           Source (.hz)
-              │ crates/main
-              │
-            Lexer produce Token
-              │ crates/lexer
-              │
-           Parser produce AST
-              │ crates/parser
-              │
-         Diagnostic(Parsing)
-              │     │ crates/diagnostic
-              │     ╰ Fail -> Print error -> Exit
-             Pass
-              │
-              │
-          Lowerer(?) produce HIR
-              │ crates/hir
-              │
-          Type Checker (TODO)
-              │   │
-              │   ╰ Fail -> Print error -> Exit
-             Pass
-              │
-              │
-         Diagnostic(Lowering)
-              │     │ crates/diagnostic
-              │     ╰ Fail -> Print error -> Exit
-             Pass
-              │
-              │
-        Codegen produce Typescript
-              │ crates/codegen
-              │
-             Done
-         (filename.ts)
+
+is the same as
+
+```sml
+fun main: void = do @write("Hello, World!"); end;
+```
+
+Hazure is also [expression-oriented](https://en.wikipedia.org/wiki/Expression-oriented_programming_language) like OCaml. There are currently 10 expressions:
+
+1) Comment
+    ```
+    -- Comment!
+    -{ Block Comment }-
+    ```
+2) Values / Types
+    ```sml
+    1
+    true
+    "string"
+    variable
+    ```
+3) Unary and Binary
+    ```sml
+    1 + 2
+    !true
+    ```
+4) Call and Intrinsic. Intrinsic starts with a `@`
+    ```sml
+    @write("Hello")
+    foo("bar")
+    ```
+5) Pipeline
+    ```sml
+    "Hello, World" |> @write(_)
+    ```
+6) Variable declaration
+    ```sml
+    let foo: int = 727;
+    let bar: string = "Hi";
+    let baz: boolean = true;
+    ```
+7) Function declaration
+    ```sml
+    fun foo: void = @write("void returns nothing");
+    fun bar (x: int): int = x + 1;
+    fun baz (x: int) (y: int): int = x + y;
+    ```
+8) If conditions
+    ```sml
+    let cond: bool = true;
+    if cond then
+        @write("True");
+    else
+        do
+            @write("False");
+        end;
+    end;
+    ```
+9) Case matching
+    ```sml
+    case 1 + 1 of
+        | 2 -> @write("Yes");
+        \ @write("How?");
+    end;
+    ```
+10) Do notation. It allows you to have multiple expression because something like right hand side of the function declaration `fun a: int = ...` can only have 1 expression. Do allows you to bypass that.
+    ```sml
+    do
+        @write("Hello, World");
+        foo(bar);
+        let baz: int = 6 + 10;
+    end;
+    ```
+
+Hazure isn't a scripting language, so, you will need a main function.
+
+```sml
+fun main: void = do
+    @write("Hello, World");
+    @write(34 + 35);
+end;
 ```
 
 # License