tag:blogger.com,1999:blog-7275984396161354282.post7578643824695776469..comments2022-09-13T03:58:38.210-07:00Comments on mobileink: A Simplest Triad Calculus - DRAFTGregg Reynoldshttp://www.blogger.com/profile/03085543737107615014noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-7275984396161354282.post-13221305877958855362013-06-25T14:41:03.060-07:002013-06-25T14:41:03.060-07:00Also, "extending the set of fixed constants&q...Also, "extending the set of fixed constants" suggests adding new symbols to the language; at the least, it's ambiguous, and could lead to "which sense of 'expanding' do you mean?" questions in dialog. Try "enlarging" or "expanding" by including/incorporating existing non-fixed constants.Gregg Reynoldshttps://www.blogger.com/profile/03085543737107615014noreply@blogger.comtag:blogger.com,1999:blog-7275984396161354282.post-24391930931607072132013-06-25T14:18:12.974-07:002013-06-25T14:18:12.974-07:00Hi Gregg,
Love it! Suggestion: use "sublima...Hi Gregg,<br /><br />Love it! Suggestion: use "sublimation rule" instead of "rewrite rule", since it lifts up to the meta level. Also more amusing.<br /><br />-GreggGregg Reynoldshttps://www.blogger.com/profile/03085543737107615014noreply@blogger.com