chu_shogi_server Implementation of a Chu Shogi server in Idris that is supposed to be correctly proven against a specification of the rules