Preface :: Reasonably Polymorphic

How These Things Work: The Preface Table of Contents Part 1 – Diagrams Preface Machine Diagrams Universal Machines Interlude Numbers Arithmetic Abstraction Multiplexing Latches Constructions on Annotations Memory Cells Part 2 – Symbolic Computations A New Foundation Symbolic Computation Symbolic Evaluation and Equational Reasoning More Types Polymorphism Back in Business and Better than Ever The I