If anyone's interested in playing a brand new game of Nomic on Github: https://github.com/audiodude/odeon