Idris-Minesweeper
A simple Minesweeper clone using a command line REPL for IO. I created this as an exercise to learn the Idris programming language.
Features
- 3 difficulty levels
- Beginner: 8x8 board with 10 mines
- Intermediate: 16x16 board with 40 mines
- Expert: 16x30 board with 99 mines
TODO
- Possible GUI and/or ncurses IO implementation
Required
- Idris 1.2.0+ (see the Idris-Dev repository)
Building The Package
idris --build minesweeper.ipkg
Enter "h" or "help" at anytime in the REPL to display a list of options and what they do.
Running with Docker
docker build -t idris-minesweeper .
docker run -it --entrypoint="/app/minesweeper" idris-minesweeper
Images
