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