Jacques Carette
Jacques Carette
Finally catching up on really old stuff - my mailbox is quite full of saved email about items that I meant to comment on. Still have 30 or so from...
Through the many many words, talking about many fascinating issues... I've lost the thread about what is the main issue at stake here?
I should take this PR over. I'm not entirely sure I know how?
Thanks a lot! I've been wanting to come back to these, but I've barely found enough time to do a few reviews.
This is now back onto my plate to finish. And I even know how to do so!
Facing the fact that there's only so much that I can keep in active memory all the time... My current feeling is indeed that `PointedUnary` (whose initial algebra is the...
Is it actually an `NNO` though? Weak `NNO` even? The issue is that this is just that data part of `NNO` and none of the properties. So it's `rawNNO`, in...
I fully agree that if it is defined locally in this file, then `RawNNO` makes sense. But is it, or is it going to fit in the full `Algebra` hierarchy?
I am happy to entertain any of `PointedUnary`, `RawNNO` and `SuccessorSet`. I feel that a no-laws `NNO` seems like squatting over a good name prematurely.
Any solution to this really ought to be automatable, otherwise it's going to grow into a nightmare. If our source files were literate, the the reference would be a proper...