Closed balqui closed 1 year ago
To use the nicks instead of the Gödel numbers.
Only nicks are used as keys now.
To use the nicks instead of the Gödel numbers.