diff --git a/README.md b/README.md
index 890d052..42d2ac4 100644
--- a/README.md
+++ b/README.md
@@ -1695,14 +1695,14 @@ A desktop environment usually depends on a specific window manager to work.
 >
 > Depending on your needs and technical concerns, you may find any number of different alternative languages useful. 
 > 
-> **Lisps**:
+> ### Lisps:
 > * [ArkScript](https://arkscript-lang.dev/) [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://github.com/ArkScript-lang/Ark#strict-no-llm--no-ai-policy)) - Lisp-inspired functional embeddable scripting language
 > * [Cakelisp](https://macoy.me/code/macoy/cakelisp) - performance-oriented Lisp-like language
 > * [Chicken] [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://wiki.call-cc.org/contribute#regarding-patches-created-using-llm-assistance)) - dynamic, compiled, general-purpose programming language, based on Scheme
 > * [Clojure](https://clojure.org) [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://clojure.org/dev/contributor_agreement#_no_generated_code)) - dynamic, compiled, general-purpose programming language, based on Lisp
 > * [Fennel](https://fennel-lang.org/) [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://git.sr.ht/~technomancy/fennel/tree/main/CONTRIBUTING.md#contribution-transparency)) - lisp that compiles to Lua
 >
-> **Systems languages**:
+> ### Systems languages:
 > * [Cone](https://cone.jondgoodwin.com) - fast, friendly, safe, and fit systems programming language (dormant)
 > * [CSpydr](https://github.com/Spydr06/CSpydr) - static typed low-level compiled programming language inspired by Rust and C
 > * [Hare](https://harelang.org) - systems programming language designed to be simple, stable, and robust
@@ -1716,12 +1716,14 @@ A desktop environment usually depends on a specific window manager to work.
 > * [Wellang](https://github.com/MinervaWare/well) - one instruction set, every CPU 
 > * [Zig](https://ziglang.org) [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://codeberg.org/ziglang/zig#strict-no-llm-no-ai-policy)) - general-purpose, compiled, system programming language
 >
-> **Functional Programming Languages**:
-> * [ATS](https://www.cs.bu.edu/~hwxi/atslangweb/Home.html) - functional, statically typed programming language that unifies implementation with formal specification that can be as efficient as C
-> * [Austral](https://austral-lang.org) - systems language with linear types and capability-based security
+> ### Functional Programming Languages:
 > * [Idris] [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md#things-we-will-not-accept)) - purely functional programming language, similar to Haskell
 >
-> **Miscelaneous**:
+> ### Functional Systems Languages:
+> * [ATS](https://www.cs.bu.edu/~hwxi/atslangweb/Home.html) - functional, statically typed programming language that unifies implementation with formal specification that can be as efficient as C
+> * [Austral](https://austral-lang.org) - systems language with linear types and capability-based security
+>
+> ### Miscelaneous:
 > * [Biscuit Language (BL)](https://biscuitlang.org) - simple imperative programming language
 > * [eC](https://ec-lang.org) - expressive and intuitive, C style Object-Oriented programming language
 > * [Inko](https://inko-lang.org) - language for building concurrent software with confidence