3 ms·
Absolutely awesome project. I will definitely try to contribute as I can in finding proof games. Though, I want to understand the problem and all the methods an
by cartesius13 5y ago
Absolutely awesome project. I will definitely try to contribute as I can in finding proof games. Though, I want to understand the problem and all the methods and mathematics used a bit better. Do you have any recommendations of resources? Hell, even if you just list topics I should look into it'd be helpful.
- tromp 5y agoYou could check out all the references at the bottom of the README. The ranking implementation was heavily inspired by Brent Yorgey's Data.Enumeration.Invertible [1] that he blogged about at [2]. [1] https://hackage.haskell.org/package/simple-enumeration-0.2/docs/Data-Enumeration-Invertible.html https://hackage.haskell.org/package/simple-enumeration-0.2/d... [2] https://byorgey.wordpress.com/2019/07/05/lightweight-invertible-enumerations-in-haskell https://byorgey.wordpress.com/2019/07/05/lightweight-inverti...