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