Function & cast related implementation

.github/ISSUE_TEMPLATE/bug_report.md

@@ -0,0 +1,34 @@
+---
+name: Bug report
+about: Create a report to help us improve
+title: ''
+labels: bug
+assignees: ''
+
+---
+
+## Bug description
+
+**Describe the bug**: a clear and concise description of what the bug is.
+
+## Steps to reproduce it
+
+Steps to reproduce the behavior:
+1. Go to '...'
+2. Click on '....'
+3. Scroll down to '....'
+4. See error
+
+**Expected behavior**
+A clear and concise description of what you expected to happen.
+
+**Screenshots**
+If applicable, add screenshots to help explain your problem.
+
+**Desktop (please complete the following information):**
+ - OS: [e.g. iOS]
+ - Browser [e.g. chrome, safari]
+ - Version [e.g. 22]
+
+**Additional context**
+Add any other context about the problem here.

.github/ISSUE_TEMPLATE/feature-implementation.md

@@ -0,0 +1,15 @@
+---
+name: Feature Implementation
+about: Use this template for issues related to the documentation TODOs page.
+title: "[IMPL] "
+labels: implementation
+assignees: ''
+
+---
+
+## Implementation description
+
+## Expected behavior
+
+
+## Tests

.github/ISSUE_TEMPLATE/roadmap-item.md

@@ -0,0 +1,14 @@
+---
+name: Roadmap item
+about: Describe this issue template's purpose here.
+title: "[ROADMAP]"
+labels: roadmap
+assignees: ''
+
+---
+
+## Item Goals
+
+## Dependency
+
+## Description

.github/workflows/ci.yml

@@ -2,7 +2,7 @@ name: ci_gh-pages
 on:
   push:
     branches:
-      - dev/python_impl/minimal_lang
+      - main
 permissions:
   contents: write
 jobs:
@@ -25,4 +25,4 @@ jobs:
           restore-keys: |
             mkdocs-material-
       - run: pip install mkdocs-material mkdocstrings markdown-exec
-      - run: mkdocs gh-deploy --force
+      - run: mkdocs gh-deploy --force

.github/workflows/pre-commit.yml

@@ -0,0 +1,21 @@
+name: pre-commit
+
+on:
+  pull_request:
+    branches: [main, dev/python]
+  push:
+    branches: [main, dev/python]
+
+jobs:
+  pre-commit:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - uses: actions/setup-python@v3
+      with:
+        python-version: '3.12'
+    - name: Run pre-commit
+      working-directory: python
+      run: |
+        pip install pre-commit
+        pre-commit run --all-files

.github/workflows/pytest.yml

@@ -0,0 +1,30 @@
+name: pytest
+
+on:
+  push:
+    branches: [main, dev/python]
+  pull_request:
+    branches: [main, dev/python]
+
+jobs:
+  build:
+    name: Run pytest
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ["3.12"]
+
+    steps:
+      - uses: actions/checkout@v3
+      - name: Set up Python ${{ matrix.python-version }}
+        uses: actions/setup-python@v4
+        with:
+          python-version: ${{ matrix.python-version }}
+      - name: Install dependencies
+        working-directory: python
+        run: |
+          pip install ".[all,dev]"
+      - name: Run tests
+        working-directory: python
+        run: |
+          pytest .

README.md

@@ -101,7 +101,7 @@ MIT
 
     Please read this documentation before to understand how the repository is organized and how the language structure works.
 
-You can check the [TODOs.md](TODOs.md) page to see what is listed to be done. There (probably) are issues in the [H-hat issue's page](https://github.com/hhat-lang/hhat_lang/issues) that you may want to check and try to solve/implement as well. 
+You can check the [TODOs.md](TODOs.md) page to see what is listed to be done. There (probably) are issues in the [H-hat issue's page](https://github.com/hhat-lang/hhat_lang/issues) that you may want to check and try to solve/implement as well.
 
 
 At last, reach us out at the [Discord](http://discord.unitary.foundation)'s `#h-hat` channel to
@@ -110,4 +110,4 @@ learn more on how to contribute and chat, if you feel like doing so.
 ## Code of Conduct
 
 We coexist in the same world. So be nice to others as you expect others to be nice to you :)
- the same world. So be nice to others as you expect others to be nice to you :)
+ the same world. So be nice to others as you expect others to be nice to you :)

docs/CNAME

@@ -1 +1 @@
-docs.hhat-lang.org
+docs.hhat-lang.org

docs/TODOs.md

@@ -1,6 +1,6 @@
 # TODOs
 
-Here sits an updated list of things to implement/write. Feel free to check them out and [place an issue](https://github.com/hhat-lang/hhat_lang/issues) or discuss them at the [Discord](http://discord.unitary.foundation)'s `#h-hat` channel.
+Here sits an updated list of things to implement/write. Feel free to check them out and [place an issue](https://github.com/hhat-lang/hhat_lang/issues) or discuss them at the [Discord `#h-hat` channel](https://discord.gg/J8udsUNRnk).
 
 ## H-hat core modules
 

docs/core/builtin_instr.md

@@ -0,0 +1,11 @@
+
+!!! info
+
+    Built-in instructions are continuously being added. Check this page from time to time.
+
+
+The core instructions are divided between classical and quantum, as follows:
+
+- [Classical](classical_instr.md)
+
+- [Quantum](quantum_instr.md)

docs/core/classical_instr.md

@@ -0,0 +1,86 @@
+# Classical Instructions
+
+Below you can find a list of existing (:white_check_mark:), under implementation (:construction:), or on TODO (:memo:) list functions/instructions.
+
+
+## 1. `null` type
+
+### `print`
+
+- Status: :memo:
+- Syntax: `print(msg:?T)`
+- Description: print `msg` (generic) argument as text on the terminal
+- Returns: nothing
+
+
+## 2. `bool` type
+
+### `not`
+
+- Status: :memo:
+- Syntax: `not(data:bool)`
+- Description: negates `data` (`bool`) argument binary data
+- Returns: the same type as `data` argument
+
+
+### `eq`
+
+- Status: :memo:
+- Syntax: `eq(a:?T b:?T)`
+- Description: compares `a` (generic) argument with `b` (generic) argument; both must be of the same type
+- Returns: a boolean literal (`true`, `false`) from the comparison
+
+
+### `le`
+
+- Status: :memo:
+- Syntax: `le(a:?T b:?T)`
+- Description: checks if `a` (generic) argument is less or equal than `b` (generic) argument; both must be of the same type
+- Returns: a boolean literal from the comparison
+
+
+### `lt`
+
+- Status: :memo:
+- Syntax: `lt(a:?T b:?T)`
+- Description: checks if `a` (generic) argument is less than `b` (generic) argument; both must be of the same type
+- Returns: a boolean literal from the comparison
+
+
+### `ge`
+
+- Status: :memo:
+- Syntax: `ge(a:?T b:?T)`
+- Description: checks if `a` (generic) argument is greater or equal than `b` (generic) argument; both must be of the same type
+- Returns: a boolean literal from the comparison
+
+
+### `gt`
+
+- Status: :memo:
+- Syntax: `gt(a:?T b:?T)`
+- Description: checks if `a` (generic) argument is greater than `b` (generic) argument; both must be of the same type
+- Returns: a boolean literal from the comparison
+
+
+## 3. `u16` type
+
+
+## 4. `u32` type
+
+### `add`
+
+- Status: :memo:
+- Syntax: `add(a:u32 b:u32)`
+- Description: performs an addition operation on `a` (`u32`) and `b` (`u32`) arguments
+- Returns: a `u32` type from the operation
+
+
+## 5. `u64` type
+
+### `add`
+
+- Status: :memo:
+- Syntax: `add(a:u64 b:u64)`
+- Description: performs an addition operation on `a` (`u64`) and `b` (`u64`) arguments
+- Returns: a `u64` type from the operation

docs/core/index.md

@@ -1,3 +1,60 @@
 # Core Features
 
-In progress. This section is part of a TODO list.
+
+## Core implementation
+
+Some core features provide wide range of possibilities for the dialect implementation.
+
+
+### 1. Call with options
+
+It has the structure:
+
+```
+id (
+    option1: body
+    option2: body
+    ...
+)
+```
+
+It can be used to define an identifier `id` to hold some transformation through the options that are functions call (and not identifiers, as usually in function calls with arguments) with values being the body that is executed for that particular option.
+
+Example: [`if` statement](../dialects/heather/current_syntax.md#8-conditional-statements-if).
+
+
+### 2. Call with body
+
+It has the structure:
+
+```
+id (args) { body }
+```
+
+
+### 3. Call with body options
+
+It has the structure:
+
+```
+id (arg) {
+    option1: body
+    option2: body
+    ...
+}
+```
+
+Example: [pattern matching `match`](../dialects/heather/current_syntax.md#9-pattern-matching-match).
+
+
+### 4. Modifier
+
+It has the structure:
+
+```
+id<keyword>
+id<property=value>
+id<keyword property=value ...>
+```
+
+Example: []