chore: clean sec 1 and 2 of ch2 of Hacker's Delight

opencompl / lean-mlir

A minimal development of SSA theory

Other

88 stars 10 forks source link

Closed luisacicolini closed 1 month ago

luisacicolini commented 1 month ago

We move the various subsections of Hacker's delight into separate files and clean them up.

github-actions[bot] commented 1 month ago

Alive Statistics: 67 / 93 (26 failed)