@matrix I remember watching a roguelike dev talk about COQ some time ago. It was a pleasant surprise to see Sseth make a vid about it. That said, idk if it's my kind of game.