final PR???#17

Open

Baidicoot wants to merge 7 commits intoHoagyC:mainfrom

Commits on Sep 25, 2023

IOI dataset
Baidicoot
committed

Commits on Sep 26, 2023

test
Baidicoot
committed

Commits on Sep 30, 2023

untested new generation code
Baidicoot
committed

Commits on Oct 6, 2023

resolved names
Baidicoot
committed

Commits on Oct 15, 2023

passes MyPy
Baidicoot
committed

Commits on Oct 19, 2023

lf?
Baidicoot
committed
lf?????
Baidicoot
committed