https://github.com/octachron/roguetype

The first ever roguetype written in the OCaml type system
https://github.com/octachron/roguetype

Last synced: about 1 month ago
JSON representation

The first ever roguetype written in the OCaml type system

• Host: GitHub
• URL: https://github.com/octachron/roguetype
• Owner: Octachron
• License: other
• Created: 2025-03-31T23:19:41.000Z (about 2 months ago)
• Default Branch: master
• Last Pushed: 2025-04-01T12:17:04.000Z (about 2 months ago)
• Last Synced: 2025-04-01T12:24:42.648Z (about 2 months ago)
• Language: OCaml
• Size: 34.2 KB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
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](https://github.com/user-attachments/assets/e5630e3a-f8b4-47b6-b4a8-dd369205f300)

## 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`.