From 00886e535241a994b71ca1ce62f24f5f11ec9255 Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Sat, 24 Jan 2026 20:17:20 +1300
Subject: Minor tidyup and some more comments

---
 src/kompsos-math.ads | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/kompsos-math.ads')

diff --git a/src/kompsos-math.ads b/src/kompsos-math.ads
index adf48d2..d834df3 100644
--- a/src/kompsos-math.ads
+++ b/src/kompsos-math.ads
@@ -338,6 +338,8 @@ package Kompsos.Math is
 
 
     --  repeated-mul  --
+    --  Should be faster than Exponential for calculating powers.
+
     --  Inputs = Base_Term & Exponent_Term & Power_Term
     function Repeated_Multiply
            (This   : in Goal;
-- 
cgit