> Thanks a lot. Now I'm afraid that some of these nice clarifications, > delicate technical details included, may get lost. Do you think they exist > already in some of your design documents, papers, etc. Then a reference in > the code would do. Otherwise, please consider adding some of the above to > the branch.
I'm writing a paper on the design and implementation of Conepts Lite. The technical details will be included there, or in a longer technical report. The semantics of the various intrinsics will be documented as part of the Concepts Lite TS since they're part of the language. Andrew
