It is an odd mix, but I like that. High level formalisms with familiar D&S 101 examples. Reminiscent of reading Knuth. It leans heavily toward formalisms enabli

It is an odd mix, but I like that. High level formalisms with familiar D&S 101 examples. Reminiscent of reading Knuth. It leans heavily toward formalisms enabling proofs, but maybe skips philosophy of state worth mentioning - state may not be enumerable. It can be implicit. It can get duplicated with contradictory representations.