Michael Norrish
Michael Norrish
How about `listSegments` or something similar for some of those things in `rich_list`? I agree with your comments about trying to be a little bit principled, and that constants are...
I’ve started branch features/list-refactor for work on this idea. We can give up on the whole idea if it proves too ugly, or for whatever other reason. What I’ve committed...
Yeah, I agree that SUM could probably go. What do you think needs to be there to support “functional programming à la Basis”? I guess perhaps GENLIST should be there....
Yes. Having two constants is unnecessary. Having two names for the same constant is fine.
I agree there's no real documentation here. The short answer is that are no command-line arguments. This is basically because I don't know what to do to make the arguments...
I think your issue title is inaccurate: if `build` tries and fails to build in a directory, then `build` will fail overall, and that is caught by the regression tests....
As per discussion on Zulip, I'd like to change the implementation so that `Holmake` catches the problem and just gives up on writing those files if it's called in the...
Do you have any suggested code-points?
Go ahead. I guess the issue is whether or not the “n-ary” symbols (U+22C2 and U+22C3) are different enough from the other two, particularly in the fonts we’re likely to...
Yes, that's definitely true.