Use ASCII names for standard files and test directories (#510)

This is to aid people who edit the files from the command line and need to explicitly type out the names
dhall-lang · Apr 29, 2019 · 7ea70fb · 7ea70fb
1 parent 4f7c41d
commit 7ea70fb
Show file tree

Hide file tree

Showing 16 changed files with 2 additions and 2 deletions.
diff --git a/standard/README.md b/standard/README.md
@@ -354,7 +354,7 @@ Bruijn indices.
 You can find the α-normalization semantics in the following
 separate document:
 
-* [α-normalization](./α-normalization.md)
+* [α-normalization](./alpha-normalization.md)
 
 
 ## β-normalization
@@ -366,7 +366,7 @@ given Dhall expression.
 You can find the β-normalization semantics in the following
 separate document:
 
-* [β-normalization](./β-normalization.md)
+* [β-normalization](./beta-normalization.md)
 
 
 ## Equivalence

diff --git a/standard/α-normalization.md → standard/alpha-normalization.md b/standard/α-normalization.md → standard/alpha-normalization.md
diff --git a/standard/β-normalization.md → standard/beta-normalization.md b/standard/β-normalization.md → standard/beta-normalization.md
diff --git a/...ess/unit/FunctionBindingUnderscoreA.dhall → ...ess/unit/FunctionBindingUnderscoreA.dhall b/...ess/unit/FunctionBindingUnderscoreA.dhall → ...ess/unit/FunctionBindingUnderscoreA.dhall
diff --git a/...ess/unit/FunctionBindingUnderscoreB.dhall → ...ess/unit/FunctionBindingUnderscoreB.dhall b/...ess/unit/FunctionBindingUnderscoreB.dhall → ...ess/unit/FunctionBindingUnderscoreB.dhall
diff --git a/...tion/success/unit/FunctionBindingXA.dhall → ...tion/success/unit/FunctionBindingXA.dhall b/...tion/success/unit/FunctionBindingXA.dhall → ...tion/success/unit/FunctionBindingXA.dhall
diff --git a/...tion/success/unit/FunctionBindingXB.dhall → ...tion/success/unit/FunctionBindingXB.dhall b/...tion/success/unit/FunctionBindingXB.dhall → ...tion/success/unit/FunctionBindingXB.dhall
diff --git a/...uccess/unit/FunctionNestedBindingXA.dhall → ...uccess/unit/FunctionNestedBindingXA.dhall b/...uccess/unit/FunctionNestedBindingXA.dhall → ...uccess/unit/FunctionNestedBindingXA.dhall
diff --git a/...uccess/unit/FunctionNestedBindingXB.dhall → ...uccess/unit/FunctionNestedBindingXB.dhall b/...uccess/unit/FunctionNestedBindingXB.dhall → ...uccess/unit/FunctionNestedBindingXB.dhall
diff --git a/...unit/FunctionTypeBindingUnderscoreA.dhall → ...unit/FunctionTypeBindingUnderscoreA.dhall b/...unit/FunctionTypeBindingUnderscoreA.dhall → ...unit/FunctionTypeBindingUnderscoreA.dhall
diff --git a/...unit/FunctionTypeBindingUnderscoreB.dhall → ...unit/FunctionTypeBindingUnderscoreB.dhall b/...unit/FunctionTypeBindingUnderscoreB.dhall → ...unit/FunctionTypeBindingUnderscoreB.dhall
diff --git a/.../success/unit/FunctionTypeBindingXA.dhall → .../success/unit/FunctionTypeBindingXA.dhall b/.../success/unit/FunctionTypeBindingXA.dhall → .../success/unit/FunctionTypeBindingXA.dhall
diff --git a/.../success/unit/FunctionTypeBindingXB.dhall → .../success/unit/FunctionTypeBindingXB.dhall b/.../success/unit/FunctionTypeBindingXB.dhall → .../success/unit/FunctionTypeBindingXB.dhall
diff --git a/...ss/unit/FunctionTypeNestedBindingXA.dhall → ...ss/unit/FunctionTypeNestedBindingXA.dhall b/...ss/unit/FunctionTypeNestedBindingXA.dhall → ...ss/unit/FunctionTypeNestedBindingXA.dhall
diff --git a/...ss/unit/FunctionTypeNestedBindingXB.dhall → ...ss/unit/FunctionTypeNestedBindingXB.dhall b/...ss/unit/FunctionTypeNestedBindingXB.dhall → ...ss/unit/FunctionTypeNestedBindingXB.dhall
diff --git a/tests/α-normalization/success/unit/README.md → ...lpha-normalization/success/unit/README.md b/tests/α-normalization/success/unit/README.md → ...lpha-normalization/success/unit/README.md