From 8e858ec21250020d1e848f4dc252d7abeb824160 Mon Sep 17 00:00:00 2001
From: tim-hardcastle <102435370+tim-hardcastle@users.noreply.github.com>
Date: Sun, 4 Aug 2024 13:25:55 -0700
Subject: [PATCH] Update README.md

---
 README.md | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 41bc6b27..f0e5ee79 100644
--- a/README.md
+++ b/README.md
@@ -1,9 +1,22 @@
 # 🧿 Pipefish
 
 <a href="https://opensource.org/license/mit">
-    <img src="https://img.shields.io/badge/license-MIT-blue">
+    <img src="https://img.shields.io/badge/License-MIT-blue">
 </a>
 
+<a href="https://go.dev/doc/install">
+    <img src="https://img.shields.io/badge/Requires-Go_v._1.22.5+-cyan">
+</a>
+
+<a href="https://github.com/tim-hardcastle/Pipefish/actions?query=workflow%3A%22Go%22">
+    <img src="https://github.com/tim-hardcastle/Pipefish/workflows/Go/badge.svg?branch=main">
+</a>
+
+<a href="https://dune.fandom.com/wiki/Butlerian_Jihad">
+    <img src="https://img.shields.io/badge/🚫_No_AI-Handbuilt_from_`if`_statements-purple">
+</a>
+
+
 ## Welcome to Pipefish!
 
 Welcome to Pipefish, a new programming language. This is version 0.4.9, [a working prototype](https://github.com/tim-hardcastle/Pipefish/blob/main/docs/working-prototype.md); you shouldn't use it in production but it's good enough at this point for you to [install it](https://github.com/tim-hardcastle/Pipefish/wiki/Installing-and-using-Pipefish) and play around with it. (Note: at time of writing, July 30th, I have just changed the main branch from the prototype treewalker to the compiler/vm implementation. It is therefore probably rather flaky and needs me to test it hard for a couple of weeks.)