Octachron/roguetype
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
The first ever roguelike written in the OCaml type system
49 commits 1 branch 0 tags 86 KiB
  • OCaml 98.8%
  • Dune 1.2%
Find a file
Exact
octachron 7c90a68c91 Remove mentions to the rewritten constraints implementation
2025-04-02 23:00:29 +02:00
examples Simplify game design 2025-04-02 11:56:05 +02:00
lib Merge pull request #3 from Julow/simpler-template 2025-04-02 13:02:30 +02:00
main Load cma by hand 2025-04-02 22:57:50 +02:00
variants Corrections and examples 2025-04-01 01:06:35 +02:00
.gitignore Modified toplevel 2025-04-01 14:04:22 +02:00
dune-project Fix opam file 2025-04-02 22:59:52 +02:00
LICENSE Basic readme 2025-04-01 01:18:53 +02:00
README.md Remove mentions to the rewritten constraints implementation 2025-04-02 23:00:29 +02:00
roguetype.opam Fix opam file 2025-04-02 22:59:52 +02:00

README.md

Roguetype is the first roguelike written in the OCaml type System.

In a world full of GADTs and functors, discover hidden paths through mountains and forest, vanquish dragons, traverse the seven functor gates to finally prove that the victory type is inhabited.

Roguetype

How to play with the marvelous interface Roguetype

Roguetype can be installed with

opam pin add roguetype https://github.com/Octachron/roguetype.git

roguetype will then be launched in a toplevel with the Roguetype_lib library already loaded.

Refer to the examples/start.ml example as a simple path through the first level of Roguetype. Winning Roguetype merely requires to call the win defined inside the Lvl8 functor of the Game module.

It may be easier to use the library directly in your favorite editor to explore the typing rules of roguetype.