To Do

• Definitions
• Index
• Code
• Lecture Notes
  • Chapters 1-N
• Lab Manual
  • Labs 1-N
• Problem sets
  • Chapters 1-N
• Rewrite
  • Preface
  • Intro Chapter (models of computation, Definition style)
  • Semantics Chapter
  • Domains Chapter
    • add type inference rules
• In process
  • Logic Programming
• Finished