This is your work, valued

The Reasoned Schemer, Second Edition (MIT Press, 2018)

Advanced
@TheReasonedSchemer2ndEd

Official code of The Reasoned Schemer, Second Edition by Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, and Jason Hemann (MIT Press, 2018)

minikanren.org/

CodeFromTheReasonedSchemer2ndEd. Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic

140