Skip to content

Commit 04a7e0e

Browse files
committed
Move specification to the documentation
1 parent 24ce449 commit 04a7e0e

13 files changed

Lines changed: 84 additions & 12 deletions
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -31,14 +31,14 @@ the grammar describes as invalid.
3131
This specification is maintained by the
3232
[PHP Type Language](https://github.com/php-type-language) project.
3333

34-
# [Overview](Section%201%20--%20Overview.md)
34+
# [Overview](Section 1 -- Overview.md)
3535

36-
# [Lexical Grammar](Section%202%20--%20Lexical%20Grammar.md)
36+
# [Lexical Grammar](Section 2 -- Lexical Grammar.md)
3737

38-
# [Types](Section%203%20--%20Types.md)
38+
# [Types](Section 3 -- Types.md)
3939

40-
# [Structural Types](Section%204%20--%20Structural%20Types.md)
40+
# [Structural Types](Section 4 -- Structural Types.md)
4141

42-
# [Appendix: Notation Conventions](Appendix%20A%20--%20Notation%20Conventions.md)
42+
# [Appendix: Notation Conventions](Appendix A -- Notation Conventions.md)
4343

44-
# [Appendix: Grammar Summary](Appendix%20B%20--%20Grammar%20Summary.md)
44+
# [Appendix: Grammar Summary](Appendix B -- Grammar Summary.md)

docs/Specification/build.sh

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
#!/usr/bin/env sh
2+
3+
spec-md "./TypeLang.md" > ./../Writerside/cfg/static/spec.html

docs/Writerside/cfg/static/spec.html

Lines changed: 72 additions & 0 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)