search

microsoft / knossos-ksc

Compiler with automatic differentiation
Other
45 stars 10 forks source link

Move edef definitions to knossos-prelude header #987

Closed dcrc2 closed 2 years ago

dcrc2 commented 2 years ago

knossos.h contains some definitions of edefs from prelude.ks; these seem to belong in knossos-prelude.h instead. (Some of these may have been prims at some point.)