diff --git a/README.md b/README.md index fcb4fa8..aedabc3 100644 --- a/README.md +++ b/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 +``` diff --git a/config.toml b/config.toml index b131a5b..b489473 100644 --- a/config.toml +++ b/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" \ No newline at end of file +repository_url = "https://github.com/erg-lang/erg-lang.org" diff --git a/content/_index.md b/content/_index.md index 6a36a5a..7e7a1a0 100644 --- a/content/_index.md +++ b/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.) diff --git a/content/install.md b/content/install.md index a46d401..fa176df 100644 --- a/content/install.md +++ b/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) diff --git a/content/social.md b/content/social.md index 8cfa5cc..936350c 100644 --- a/content/social.md +++ b/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