Gary Talent f1c2113dd3 [keel] Fix some completely incomprehensible build break in GCC12...

2025-04-17 00:32:38 -05:00

..

nostalgia

[keel,nostalgia] Further simplify writing type converters

2025-04-17 00:22:47 -05:00

olympic

[keel] Fix some completely incomprehensible build break in GCC12...

2025-04-17 00:32:38 -05:00

CMakeLists.txt

[nostalgia,olympic] Remove src as include directory

2023-12-12 20:31:05 -06:00