typo in transformError - Githubissues

opencompl / lean-mlir

A minimal development of SSA theory

Other

68 stars 6 forks source link

Closed luisacicolini closed 3 weeks ago

luisacicolini commented 3 weeks ago

Fixed a grammar typo in TransformError.lean

github-actions[bot] commented 3 weeks ago

Alive Statistics: 64 / 93 (29 failed)

bollu commented 3 weeks ago

Thanks!