├── LICENSE ├── README.md ├── trs2-arith.scm └── trs2-impl.scm /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd/HEAD/README.md -------------------------------------------------------------------------------- /trs2-arith.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd/HEAD/trs2-arith.scm -------------------------------------------------------------------------------- /trs2-impl.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd/HEAD/trs2-impl.scm --------------------------------------------------------------------------------