From eaadd524cff94e2ecb928a53487175a7e0c82ed4 Mon Sep 17 00:00:00 2001
From: Jon Michael Aanes <jonjmaa@gmail.com>
Date: Tue, 24 Sep 2024 23:26:59 +0200
Subject: [PATCH] Moving README into main file

---
 README.md                                      | 1 -
 regex-sampling.tig => tiger-regex-sampling.tig | 6 +++++-
 2 files changed, 5 insertions(+), 2 deletions(-)
 delete mode 100644 README.md
 rename regex-sampling.tig => tiger-regex-sampling.tig (99%)
 mode change 100755 => 100644

diff --git a/README.md b/README.md
deleted file mode 100644
index 78126b1..0000000
--- a/README.md
+++ /dev/null
@@ -1 +0,0 @@
-Weird attempt to generate random strings from regex.
diff --git a/regex-sampling.tig b/tiger-regex-sampling.tig
old mode 100755
new mode 100644
similarity index 99%
rename from regex-sampling.tig
rename to tiger-regex-sampling.tig
index b381fea..6a99fd9
--- a/regex-sampling.tig
+++ b/tiger-regex-sampling.tig
@@ -1,4 +1,8 @@
-/*  */
+/*
+# Tiger Regex Sampling
+
+Program to generate examples from the given regexes.
+*/
 
 let /* Utility */
     type bool = int