lean-mlir icon indicating copy to clipboard operation
lean-mlir copied to clipboard

Published 20 hours ago • verified publisher icon opencompl

Replace uses of P.lean / MLIRParser.lean with the EDSL

Open lephe opened this issue 2 years ago • 0 comments

The EDSL is now more powerful, and keeping both systems with different parsing power seems like it could be a problem in the longer run (and I don't think you want to support the whole crazy MLIR in P.lean and MLIRParser.lean right?).

lephe avatar May 06 '22 15:05 lephe