refactor: docs

Material/2_Install-Juvix.md

@@ -1,29 +1,24 @@
-# Install Juvix
-
-<img alt="tara mascot smiling" width="400" src="../.assets/tara-smiling.png">
-<p>
-  <a href="https://discord.gg/PfaaFVErHt"><img src="https://img.shields.io/discord/952881043520774194?logo=discord"/></a>
+<p align="right">
+<img alt="tara mascot smiling" width="200" src="../.assets/tara-smiling.png">
 </p>
+<h1> Install Juvix </h1>
 
-[![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://codespaces.new/anoma/applications-workshop?quickstart=1)
+Welcome to Juvix, a language for intent-centric and declarative decentralized apps!
 
 ## Table of Contents
 
-- [Introduction](#introduction)
 - [Installing Juvix](#installing-juvix)
 - [IDE Setup](#ide-setup)
   - [VSCode](#vscode)
   - [Emacs](#emacs)
 - [Juvix Documentation](#juvix-documentation)
 
-## Introduction
-
-Welcome to Juvix!
-
 ## Installing Juvix
 
-Please use one of the following options to install the Juvix compiler. Juvix is
-supported on Linux x86_64 and macOS x86_64 or aarch64 (M1/M2).
+Please use one of the following options to install the Juvix compiler. Juvix is supported on
+
+- Linux `x86_64`
+- macOS `x86_64` or `aarch64 (M1/M2)`
 
 ### Prerequisites
 

README.md

@@ -5,6 +5,8 @@
 
 Welcome to the Anoma Applications Workshop!
 
+[![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://codespaces.new/anoma/applications-workshop?quickstart=1)
+
 In this workshop we will
 
 1. [Learn](./Material/1_Learn-Anoma-Apps.md) about [Anoma](https://anoma.net/) and intent-centric apps.