Closed arthurpaulino closed 1 year ago
Some cases in Tests/Transpilation/Primitives.lean are generating code that runs on Lurk.lean but fails on lurk-rs
Tests/Transpilation/Primitives.lean
Lurk.lean
lurk-rs
Some cases in
Tests/Transpilation/Primitives.lean
are generating code that runs onLurk.lean
but fails onlurk-rs