From 8d5277379085e664c8f5427191fa609f477e7a7b Mon Sep 17 00:00:00 2001 From: favonia Date: Mon, 20 Nov 2023 07:41:51 -0600 Subject: [PATCH] docs: fix typos --- src/Mugen/Data/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Mugen/Data/README.md b/src/Mugen/Data/README.md index 8cb9aa6..d11adb0 100644 --- a/src/Mugen/Data/README.md +++ b/src/Mugen/Data/README.md @@ -1,4 +1,4 @@ -# Datastructures +# Data structures -This directory contains various results about simple datastructures (nats, lists, etc), as +This directory contains various results about simple data structures (nats, lists, etc), as well as the definition of the coimage of a function.