/chu_shogi_server

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

Primary LanguageIdrisGNU General Public License v3.0GPL-3.0

No issues in this repository yet.