Open heiner opened 2 months ago
Should we create separate issues for each of these?
Feel free to do that. We can also just tick them off here; I'm not actually sure how many we'll actually get around doing.
Adding NetHack 3.7 would be great.
We can revisit 3.7 once it's actually out. Otherwise there's a large potential for duplicate work?
My bad, didn't realize it's still work-in-progress.
Harder
dlopen
. Candidates: 1, 2; this should finally fix this bug.Older
https://github.com/facebookresearch/nle/issues/278
https://github.com/facebookresearch/nle/issues/21
Misc