Your figures is good point. I ever considered to put all code in a header file called hpp. But I didn't think it was a proper behaviour. So I separated the code into header file and cpp implementation.
According to your code example, I doubt you get the code as I committing.
I have been committing GitHub for 3 hours to make sure that all of you could use.
Now I have committed and make sure all of you could run this project on your computer.
Thanks for your tolerance, I'm trying to improve all of development experience.
Now I have made sure that all of you could run this project directly from email files.
Your sincerely,
Eloy Kim

»ñÈ¡Outlook for Android<https://aka.ms/AAb9ysg>
________________________________
From: Jonathan Wakely <cxx_at_[hidden]>
Sent: Friday, December 19, 2025 12:51:56 AM
To: std-proposals_at_[hidden] <std-proposals_at_[hidden]>
Cc: Kim Eloy <eloy.kim_at_[hidden]ok.com>
Subject: Re: [std-proposals] AI (was: : Re: [PXXXXR0] Add a New Keyword ¡®undecl¡¯)



On Thu, 18 Dec 2025 at 15:23, Kim Eloy via Std-Proposals <std-proposals_at_[hidden]<mailto:std-proposals_at_[hidden]>> wrote:
You all only care about AI, instead of professional cpp discussion. I could clearly think your reply is not professional.

I'm not talking about AI, I'm talking about your code.

And, for those syntax errors, you can reply me your compilation arguments and hear file contents. I could easily know you just copy the header file code from email content instead of GitHub.

#include "semantic.h"

int main()
{
  return semantic::from<int>({1,2,3,4,5}).toOrdered().anyMatch([](auto){ return true;});
}


I don't think you understand what "header-only" means.




If you I could run on my phone with just including std libs and could not run on your computer, I doubt how you learn and use cpp.

Bold claim. So you think you can run the code above on your phone? The functions are not defined in headers, it's not a header-only library.

This is not a "header-only library", it's just some code that has no tests. Don't assume I need to learn C++ to understand this.