Doug Ransom

There is already an issue somewhere about builtins not being documented. This issue might help someone figure out their own problem in the future.

Well, I'll attempt to do that; Regardless of my lack of comprehension, I think it would be useful to library users to have some predicates to easily append domains like...

1. If something naturally has an appending relationship, it seems natural to support folds. 2. In my particular case, I have extracted from [https://www.unicode.org/Public/15.0.0/ucd/DerivedCoreProperties.txt](https://www.unicode.org/Public/15.0.0/ucd/DerivedCoreProperties.txt) the character code ranges for each...

> > I think that hands on tutorials are far superior to documentation, as they must "experience" the language rather than reason about it. My experience and background in education...

@UWN regardless, I believe the example improves the documentation. Presumably someone will move it to an extensions library if that is important.

> You keep using the term "reify" in many different senses, which complicates understanding. Are we reifying a predicate? A goal? A condition? A truth value? A definition? A concept?...

Ouptput from doclog, so you don't have to run it yourself: [reif_examples.html](https://github.com/user-attachments/files/22712956/reif_examples.html)

Is this ok now for a first cut? I plan to add to it in another version one i understand how to use (,) and (;). I’d like to get...

> Is there any need to mention `(->)/2` in this text, especially so close to the beginning? Or `(is)/2`, which is mentioned even earlier? These constructs are very hard to...

> I think that's reasonable but I still don't love the `if_`s nested 3 deep. Is there a reasonable alternative? > > The more legible but less logically pure alternative...