Commit 2022-07-23 03:35 282da0c1
View on Github →feat(set_theory/game/nim): make the file noncomputable theory (#15367)
Since we're interfacing with ordinals and since pgame holds no data, we simplify nim and allow it to be noncomputable. We need to give nim the noncomputable! attribute to avoid a VM compilation bug.