Merge pull request #9 from toddlerer/add-package-to-menu

feat: add link to package registry in menu and minor fixes

README.md

@@ -2,4 +2,14 @@
 
 Use [Zola](https://www.getzola.org/) and [Juice](https://github.com/huhu/juice) theme.
 
-Hosted [here](https://github.com/erg-lang/erg-lang.github.io) and use Github Page
+Hosted [here](https://github.com/erg-lang/erg-lang.github.io) and use GitHub Pages.
+
+## Contributing
+
+[Install Zola.](https://www.getzola.org/documentation/getting-started/installation/)
+
+To preview the site, enter the following command in a terminal:
+
+```sh
+zola serve
+```

config.toml

@@ -23,7 +23,8 @@ highlight_theme = "OneHalfDark"
 juice_logo_name = ""
 juice_logo_path = "logo.svg"
 juice_extra_menu = [
-    { title = "Github", link = "https://github.com/erg-lang"}
+    { title = "Packages", link = "https://package.erg-lang.org" },
+    { title = "GitHub", link = "https://github.com/erg-lang" },
 ]
 
-repository_url = "https://github.com/erg-lang/erg-lang.org"
+repository_url = "https://github.com/erg-lang/erg-lang.org"

content/_index.md

@@ -7,32 +7,35 @@ sort_by = "weight"
 
 ## __Robustness__
 
-  Erg has a strong type system and comfortable compiler support. For example, it has dependent types and refinement types. These types strongly encode pre-conditions, invariant conditions, etc. into the code.
+Erg has a strong type system and comfortable compiler support. For example, it has dependent types and refinement types. These types strongly encode pre-conditions, invariant conditions, etc. into the code.
 
 ## __Simplicity & Consistency__
 
-  Erg consists of a very simple and consistent syntax, which can significantly reduce the amount of code compared to other languages. However, its functionality is not inferior to them.
-  Since the type inference system is powerful, you can code like a dynamically typed language.
+Erg consists of a very simple and consistent syntax, which can significantly reduce the amount of code compared to other languages. However, its functionality is not inferior to them.
+Since the type inference system is powerful, you can code like a dynamically typed language.
 
 ## __Readability__
 
-  In addition to the readability of the syntax itself, Erg defines a rich set of methods and functions by default to improve code readability.
+In addition to the readability of the syntax itself, Erg defines a rich set of methods and functions by default to improve code readability.
 
 ## __Multi Paradigm__
-  Functional & Object-Oriented
+
+Functional & Object-Oriented
 
 ## __Maintainability__
-  Erg requires some kinds of markers to be placed on code that causes side effects or changes internal state, which can localize the complexity of code. This will greatly improve the maintainability of your code.
+
+Erg requires some kinds of markers to be placed on code that causes side effects or changes internal state, which can localize the complexity of code. This will greatly improve the maintainability of your code.
 
 ## __Programmer Friendly__
 
-  Erg is committed to providing error messages that are easy to read and various development tools. Erg also provide multilingual support for error messages, etc.
+Erg is committed to providing error messages that are easy to read and various development tools. Erg also provide multilingual support for error messages, etc.
 
 ## __Interoperability with Python__
 
-  Erg code can be compiled into Python bytecode. This means you have zero-cost access to your Python assets with Erg.
+Erg code can be compiled into Python bytecode. This means you have zero-cost access to your Python assets with Erg.
 
 ## __Multiple Backends__
-  - CPython
-  - __WIP__ Rust (The compiler is called Gal, also optimized to Erg's specifications)
-  - __WIP__ Dyne (Python compatible bytecode interpreter, optimized to Erg's specifications, static types and the ownership system etc.)
+
+- CPython
+- __WIP__ Rust (The compiler is called Gal, also optimized to Erg's specifications)
+- __WIP__ Dyne (Python compatible bytecode interpreter, optimized to Erg's specifications, static types and the ownership system etc.)

content/install.md

@@ -50,20 +50,13 @@ By enabling the `--features` flag, you can customize the installation and build.
 
 # Download Latest Binaries
 
-[Windows (x86_64)](https://github.com/erg-lang/erg/releases/latest/download/erg-x86_64-pc-windows-msvc.zip)
-
-[Linux (x86_64)](https://github.com/erg-lang/erg/releases/latest/download/erg-x86_64-unknown-linux-gnu.tar.gz)
-
-[Linux (aarch64)](https://github.com/erg-lang/erg/releases/latest/download/erg-aarch64-unknown-linux-gnu.tar.gz)
-
-[Linux (armv7)](https://github.com/erg-lang/erg/releases/latest/download/erg-armv7-unknown-linux-gnueabihf.tar.gz)
-
-[MacOS (x86_64)](https://github.com/erg-lang/erg/releases/latest/download/erg-x86_64-apple-darwin.tar.gz)
-
-[MacOS (aarch64)](https://github.com/erg-lang/erg/releases/latest/download/erg-aarch64-apple-darwin.tar.gz)
-
-# Download Latest Source
-
-[Source URL](https://github.com/erg-lang/erg/releases/latest)
+- [Windows (x86_64)](https://github.com/erg-lang/erg/releases/latest/download/erg-x86_64-pc-windows-msvc.zip)
+- [Linux (x86_64)](https://github.com/erg-lang/erg/releases/latest/download/erg-x86_64-unknown-linux-gnu.tar.gz)
+- [Linux (aarch64)](https://github.com/erg-lang/erg/releases/latest/download/erg-aarch64-unknown-linux-gnu.tar.gz)
+- [Linux (armv7)](https://github.com/erg-lang/erg/releases/latest/download/erg-armv7-unknown-linux-gnueabihf.tar.gz)
+- [macOS (x86_64)](https://github.com/erg-lang/erg/releases/latest/download/erg-x86_64-apple-darwin.tar.gz)
+- [macOS (aarch64)](https://github.com/erg-lang/erg/releases/latest/download/erg-aarch64-apple-darwin.tar.gz)
+
+# [Download Latest Source](https://github.com/erg-lang/erg/releases/latest)
 
 # [Previous Versions](https://github.com/erg-lang/erg/releases)

content/social.md

@@ -6,8 +6,7 @@ weight = 3
 
 # Official
 
-## [Discord](https://discord.gg/zfAAUbgGr4)
-
-## [Github Discussions](https://github.com/erg-lang/erg/discussions)
+- [Discord](https://discord.gg/zfAAUbgGr4)
+- [GitHub Discussions](https://github.com/erg-lang/erg/discussions)
 
 # Third Party