Change .ss extensions to .scrap (#57)

tekknolagi · Dec 21, 2023 · f6c4690 · f6c4690
1 parent 845adef
commit f6c4690
Show file tree

Hide file tree

Showing 39 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -13,7 +13,7 @@ We support python3.8+.
 
 ```bash
 # With a file
-python3 scrapscript.py eval examples/0_home/triangle.ss
+python3 scrapscript.py eval examples/0_home/factorial.scrap
 
 # With a string literal
 python3 scrapscript.py apply "1 + 2"
@@ -26,7 +26,7 @@ or with Docker:
 
 ```bash
 # With a file (mount your local directory)
-docker run --mount type=bind,source="$(pwd)",target=/mnt -i -t ghcr.io/tekknolagi/scrapscript:trunk eval /mnt/examples/0_home/triangle.ss
+docker run --mount type=bind,source="$(pwd)",target=/mnt -i -t ghcr.io/tekknolagi/scrapscript:trunk eval /mnt/examples/0_home/factorial.scrap
 
 # With a string literal
 docker run -i -t ghcr.io/tekknolagi/scrapscript:trunk apply "1 + 2"

diff --git a/examples/0_home/a.ss → examples/0_home/a.scrap b/examples/0_home/a.ss → examples/0_home/a.scrap
diff --git a/examples/0_home/combinators.ss → examples/0_home/combinators.scrap b/examples/0_home/combinators.ss → examples/0_home/combinators.scrap
diff --git a/examples/0_home/factorial.ss → examples/0_home/factorial.scrap b/examples/0_home/factorial.ss → examples/0_home/factorial.scrap
diff --git a/examples/10_types/a.ss → examples/10_types/a.scrap b/examples/10_types/a.ss → examples/10_types/a.scrap
diff --git a/examples/10_types/b.ss → examples/10_types/b.scrap b/examples/10_types/b.ss → examples/10_types/b.scrap
diff --git a/examples/10_types/c.ss → examples/10_types/c.scrap b/examples/10_types/c.ss → examples/10_types/c.scrap
diff --git a/examples/10_types/d.ss → examples/10_types/d.scrap b/examples/10_types/d.ss → examples/10_types/d.scrap
diff --git a/examples/10_types/e.ss → examples/10_types/e.scrap b/examples/10_types/e.ss → examples/10_types/e.scrap
diff --git a/examples/10_types/f.ss → examples/10_types/f.scrap b/examples/10_types/f.ss → examples/10_types/f.scrap
diff --git a/examples/10_types/g.ss → examples/10_types/g.scrap b/examples/10_types/g.ss → examples/10_types/g.scrap
diff --git a/examples/1_numbers/a.ss → examples/1_numbers/a.scrap b/examples/1_numbers/a.ss → examples/1_numbers/a.scrap
diff --git a/examples/1_numbers/b.ss → examples/1_numbers/b.scrap b/examples/1_numbers/b.ss → examples/1_numbers/b.scrap
diff --git a/examples/1_numbers/c.ss → examples/1_numbers/c.scrap b/examples/1_numbers/c.ss → examples/1_numbers/c.scrap
diff --git a/examples/2_text/a.ss → examples/2_text/a.scrap b/examples/2_text/a.ss → examples/2_text/a.scrap
diff --git a/examples/2_text/b.ss → examples/2_text/b.scrap b/examples/2_text/b.ss → examples/2_text/b.scrap
diff --git a/examples/2_text/c.ss → examples/2_text/c.scrap b/examples/2_text/c.ss → examples/2_text/c.scrap
diff --git a/examples/3_bytes/a.ss → examples/3_bytes/a.scrap b/examples/3_bytes/a.ss → examples/3_bytes/a.scrap
diff --git a/examples/3_bytes/b.ss → examples/3_bytes/b.scrap b/examples/3_bytes/b.ss → examples/3_bytes/b.scrap
diff --git a/examples/4_hole/a.ss → examples/4_hole/a.scrap b/examples/4_hole/a.ss → examples/4_hole/a.scrap
diff --git a/examples/5_variables/a.ss → examples/5_variables/a.scrap b/examples/5_variables/a.ss → examples/5_variables/a.scrap
diff --git a/examples/5_variables/b.ss → examples/5_variables/b.scrap b/examples/5_variables/b.ss → examples/5_variables/b.scrap
diff --git a/examples/5_variables/c.ss → examples/5_variables/c.scrap b/examples/5_variables/c.ss → examples/5_variables/c.scrap
diff --git a/examples/5_variables/d.ss → examples/5_variables/d.scrap b/examples/5_variables/d.ss → examples/5_variables/d.scrap
diff --git a/examples/6_lists/a.ss → examples/6_lists/a.scrap b/examples/6_lists/a.ss → examples/6_lists/a.scrap
diff --git a/examples/7_records/a.ss → examples/7_records/a.scrap b/examples/7_records/a.ss → examples/7_records/a.scrap
diff --git a/examples/7_records/b.ss → examples/7_records/b.scrap b/examples/7_records/b.ss → examples/7_records/b.scrap
diff --git a/examples/8_operators/a.ss → examples/8_operators/a.scrap b/examples/8_operators/a.ss → examples/8_operators/a.scrap
diff --git a/examples/8_operators/b.ss → examples/8_operators/b.scrap b/examples/8_operators/b.ss → examples/8_operators/b.scrap
diff --git a/examples/8_operators/c.ss → examples/8_operators/c.scrap b/examples/8_operators/c.ss → examples/8_operators/c.scrap
diff --git a/examples/9_functions/a.ss → examples/9_functions/a.scrap b/examples/9_functions/a.ss → examples/9_functions/a.scrap
diff --git a/examples/9_functions/b.ss → examples/9_functions/b.scrap b/examples/9_functions/b.ss → examples/9_functions/b.scrap
diff --git a/examples/9_functions/c.ss → examples/9_functions/c.scrap b/examples/9_functions/c.ss → examples/9_functions/c.scrap
diff --git a/examples/9_functions/d.ss → examples/9_functions/d.scrap b/examples/9_functions/d.ss → examples/9_functions/d.scrap
diff --git a/examples/9_functions/e.ss → examples/9_functions/e.scrap b/examples/9_functions/e.ss → examples/9_functions/e.scrap
diff --git a/examples/9_functions/f.ss → examples/9_functions/f.scrap b/examples/9_functions/f.ss → examples/9_functions/f.scrap
diff --git a/examples/9_functions/g.ss → examples/9_functions/g.scrap b/examples/9_functions/g.ss → examples/9_functions/g.scrap
diff --git a/examples/9_functions/h.ss → examples/9_functions/h.scrap b/examples/9_functions/h.ss → examples/9_functions/h.scrap
diff --git a/examples/9_functions/i.ss → examples/9_functions/i.scrap b/examples/9_functions/i.ss → examples/9_functions/i.scrap