From 5d942aff874097c3890ba729644f92836e6b3364 Mon Sep 17 00:00:00 2001
From: Michael Heuer <michael.heuer@rwth-aachen.de>
Date: Tue, 12 Nov 2024 18:26:58 +0700
Subject: [PATCH] refactor: docs

---
 Material/2_Install-Juvix.md | 21 ++++++++-------------
 README.md                   |  2 ++
 2 files changed, 10 insertions(+), 13 deletions(-)

diff --git a/Material/2_Install-Juvix.md b/Material/2_Install-Juvix.md
index bae7065..251f6dd 100644
--- a/Material/2_Install-Juvix.md
+++ b/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
 
diff --git a/README.md b/README.md
index 3df5531..57ff13e 100644
--- a/README.md
+++ b/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.