checkpoint before xi -> cdot
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sat, 5 Apr 2025 07:26:43 +0000 (07:26 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sat, 5 Apr 2025 07:26:43 +0000 (07:26 +0000)
commit189d5b15777370d9f1d8af479f1cea7701acd937
tree978f7f095edcba3c6ba455bf56c61e5ada8140db
parentb74f73b22a62add82bb97d6662f521c927fc4b00
checkpoint before xi -> cdot
12 files changed:
developer/cc๐Ÿ–‰/Binding.lib.c
developer/cc๐Ÿ–‰/Core.lib.c
developer/cc๐Ÿ–‰/TM.lib.c
developer/cc๐Ÿ–‰/cpp_ext.c
developer/cc๐Ÿ–‰/cpp_ext_0.c
developer/cc๐Ÿ–‰/cpp_ext_1.c
developer/cc๐Ÿ–‰/scatch.c
developer/document๐Ÿ–‰/C_features_needed.org
developer/example/bespoke.c [new file with mode: 0644]
developer/example/bespoke_type.cli.c [deleted file]
developer/example/holder/try_TM_1.cli.c [deleted file]
developer/example/try_TM_1.cli.c [new file with mode: 0644]