diff --git a/README.md b/README.md
index 8c87565..b9daace 100644
--- a/README.md
+++ b/README.md
@@ -151,8 +151,9 @@ Any other questions? Please check out our [FAQ](./FAQ.md), and if your question
     * [Alternatives](#on-alternative-languages)
       * [Lisps](#lisps)
       * [Systems Languages](#systems-languages)
+        * [Functional Systems Languages](#functional-systems-languages)
+        * [Imperative Systems Languages](#imperative-systems-languages)
       * [Functional Programming Languages](#functional-programming-languages)
-      * [Functional Systems Languages](#functional-systems-languages)
       * [Miscelaneous](#miscelaneous)
   * [Programming Language-Specific Tools and Libraries](#programming-language-specific-tools-and-libraries)
     * [Bash](#bash)
@@ -1709,6 +1710,11 @@ A desktop environment usually depends on a specific window manager to work.
 > * [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:
+> #### 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
+>
+> #### Imperative 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
@@ -1725,10 +1731,6 @@ A desktop environment usually depends on a specific window manager to work.
 > ### 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
 >
-> ### 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