[cctmp]
I plan on updating my github repo readme.
I want to showcase what my compile time type system can do, even in its incomplete form. The problem I'm having is I need to think of a simple example that's easy to explain and understand. My own applications are much too involved, ahah.
I plan on updating my github repo readme.
I want to showcase what my compile time type system can do, even in its incomplete form. The problem I'm having is I need to think of a simple example that's easy to explain and understand. My own applications are much too involved, ahah.
Comments
The real strength of my compile time type system relative to C++'s is its ability to prove things.
The problem is proofs can only be written about objects inside the type system. I need an inventory of functions internal to the system, but my library is not there yet, won't be for a month.