I think you might enjoy it. Visit- https://en.m.wikipedia.org/wiki/Structure_and_Interpretation...
https://nextjournal.com/dashboard/sicm