Closed toelli-msft closed 3 years ago
did we already have erf in our prelude? What are its suffwd/sufrev?
Yes, see https://github.com/microsoft/knossos-ksc/blob/master/src/runtime/prelude.ks#L625-L637
Yes, see https://github.com/microsoft/knossos-ksc/blob/master/src/runtime/prelude.ks#L625-L637