Open LorenNuyts opened 4 years ago
The comment
-- You need to delete the "b" binder parameters if using De Bruijn indices
in native code section of the ExEff.txt file does not appear in the generated Haskell code with De Bruijn indices.
The comment
in native code section of the ExEff.txt file does not appear in the generated Haskell code with De Bruijn indices.