diff --git a/warduino/index.md b/warduino/index.md index 6ac8892..297598b 100644 --- a/warduino/index.md +++ b/warduino/index.md @@ -2,34 +2,27 @@ layout: home hero: - name: "WARDuino" - text: "An Ecosystem for Developing Embedded Software" + name: "WARDuino Docs" + text: "" tagline: This website includes documentation for the WARDuino virtual machine and related projects. - actions: - - theme: brand - text: Get Started - link: /guide/get-started - - theme: alt - text: View on GitHub - link: https://github.com/TOPLLab/WARDuino features: - - title: Programmer's Guide + - title: Get started details: Start developing programs with WARDuino. link: /guide/get-started - - title: WARDuino Plugin + - title: IDE support details: Manual for the WARDuino VS Code plugin. link: /guide/plugin - - title: Latch + - title: Testing details: Get started with the Latch testing framework. link: /guide/latch - title: Examples & Tutorials details: A collection of examples to get you started with WARDuino. link: /guide/examples/ - - title: WARDuino Technical Reference + - title: Developers details: Documentation of the WARDuino virtual machine implementation. link: /reference/ - - title: Research Articles + - title: Researchers details: Research articles published around the WARDuino project. link: /articles/ ---