Skip to content

Migrate to v0.5.x; Add chapter on Turing Completeness#115

Merged
Veykril merged 3 commits intoVeykril:mainfrom
felix91gr:main
Nov 26, 2025
Merged

Migrate to v0.5.x; Add chapter on Turing Completeness#115
Veykril merged 3 commits intoVeykril:mainfrom
felix91gr:main

Conversation

@felix91gr
Copy link
Contributor

I was just adding the chapter on Turing Completeness (by reduction of Tag Systems into Declarative Macros), and whilst trying to build the book I realized that since the last time this book was deployed, a new minor version of mdBook had been released which broke the build.

Hence, this PR including 2 commits:

  1. Remove book.multilingual and book.edition fields:
    • book.multilingual has been removed.
    • book.edition seems to have been obsoleted by rust.edition. I wasn't able to find a note saying why the build would be breaking, but redundancy with the relatively new rust.edition field is my current guess as to why it was.
  2. Add chapter on Turing Completeness.
    • The main contribution is the proof by reduction of Tag Systems to Declarative Macros.
    • Includes some context on Tag Systems and computational power
    • Ends with the consequences of being Turing Complete. Mostly from the perspective of tooling.

This is needed for migration to v0.5.x of mdBook
@felix91gr
Copy link
Contributor Author

Note: it previously threw an error because I didn't specify which code snippets to ignore. That's fixed now.

@Veykril it's erroring on a code snippet that's part of the existing repo. Should I add a commit to fix that?

@felix91gr felix91gr force-pushed the main branch 2 times, most recently from 5ebae72 to 5c76b52 Compare November 25, 2025 18:21
@Veykril
Copy link
Owner

Veykril commented Nov 26, 2025

Yea if you could just fix that as well that would be appreciated!

Done to comply with #[deny(semicolon_in_expressions_from_macros)],
which itself is a consequence of #[deny(future_incompatible)]
@felix91gr
Copy link
Contributor Author

@Veykril all done fam :)

Copy link
Owner

@Veykril Veykril left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@Veykril Veykril merged commit c573643 into Veykril:main Nov 26, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants