acjf3
acjf3
This seems to have been implemented.
To be consistent with the existing theory, I'd expect `word_exp` to be declared around line 262 in wordsScript.sml, in the "Word arithmetic: definitions" section, preferably using the same style. That...
It now occurs to me that the ability to do a MOD upon every iteration should help the efficiency quite a bit. I still think it's a good idea to...
Yes, those changes have have addressed my concerns and the pull request looks v. good to me.
Having a separate ListPair theory makes sense to me. I would actually propose creating a completely new directory under src/ and starting a clean list development from scratch. That way...
There are a few other differences: nth, EL all, EVERY concat, FLAT SML has "find" (which is useful) and "getItem" (which I don't use), "SNOC" and "FRONT" don't appear in...
I think it's important to have reasonably well-founded reasons for selecting the locations for each of the constants. In particular, I don't think being "infrequently used" or "not used by...
Yes, something for list segments sounds reasonable. Having a consistent naming convention would be good, e.g. something like: listPair, listSet (or ?), listSegment. A decision would have to be made...