microsoft / knossos-ksc

Compiler with automatic differentiation
Other
45 stars 10 forks source link

Make naming of preludes more consistent #999

Closed dcrc2 closed 2 years ago

dcrc2 commented 2 years ago

Rename files in src/runtime so that each prelude {prelude_name}.ks has a corresponding C++ implementation {prelude-name}.h.

(Perhaps it would be better to split the implementations into a source file and a header file, rather than everything being in the header. But if we want to do that I'd suggest making it a separate change.)