文件名称：tic-tac-idris:用 Idris 编写的井字游戏
文件大小：3KB
文件格式：ZIP
更新时间：2024-07-10 11:52:05
tic-tac-toe idris Idris
井字井 这是一款用 Idris 编写的井字游戏。 我写它作为学习 Idris 基本功能的练习。 该程序没有大量使用依赖类型编程语言或 Idris 特有的语言设施，例如证明项。 因此，这种井字棋实现可以非常直接地转换为另一种函数式编程语言，例如 Haskell。 对于更多地使用依赖类型语言特有的设施的程序，请参阅我。 先决条件 伊德里斯 0.9.16 制作 如何跑步 make run 示例游戏 $ make run idris -o TicTacToe TicTacToe.idr ./TicTacToe | | ---|---|--- | | ---|---|--- | | Next move? (0-8) 4 | | ---|---|--- | X | ---|---|--- | | Nex
【文件预览】：
tic-tac-idris-master
----.gitignore(59B)
----Makefile(70B)
----TicTacToe.idr(7KB)
----README.md(1KB)