_toc.yml

format: jb-book 
root: index.md 
parts:
- caption: Text Register Machine Programs
#maxdepth: 1
  chapters:
  - file: introOneSharp/instructions
  - file: introOneSharp/move_copy_write
  - file: introOneSharp/haltDef
  - file: introOneSharp/functions
  - file: introOneSharp/tidy

- caption: Issues
  chapters:
  - file: issues/issues
  - file: issues/problems
  - file: issues/coding
  - file: issues/reduction

- caption: More Programs
  chapters:
  - file: more_programs/sanity
  - file: more_programs/arithmetic
  - file: more_programs/primitive_recursion
  
- caption: Self-Writing Programs and the Recursion Theorem
  chapters:
  - file: self_writing
  
- caption: Universal Programs
  chapters:
#   - flle: universal/twoByTwo ### skip this one
   - file: universal/universal

#- caption: The Enumeration Theorem
#  chapters:
#  - file: coding
#  - file: t_predicate

- caption: Undecidability
  chapters:
  - file: undecidability/haltingProblem
  - file: undecidability/busyBeaver
  - file: undecidability/tiling
  - file: undecidability/post
  - file: undecidability/church