Why not providing the primitives we have in the paper as derived primitives (put them in the Syntax module perhaps)? https://github.com/OctopiChalmers/Multef/blob/11a5a74b207920b7ab9f9bfc6292c24a93f23995/src/FIOInternals.hs#L33
Why not providing the primitives we have in the paper as derived primitives (put them in the Syntax module perhaps)?
Multef/src/FIOInternals.hs
Line 33 in 11a5a74