https://github.com/benrbray/rpg-idris

An role-playing game character sheet generator, written in `idris2`!
https://github.com/benrbray/rpg-idris

Last synced: 17 days ago
JSON representation

An role-playing game character sheet generator, written in `idris2`!

• Host: GitHub
• URL: https://github.com/benrbray/rpg-idris
• Owner: benrbray
• Created: 2024-03-23T13:53:53.000Z (9 months ago)
• Default Branch: master
• Last Pushed: 2024-03-26T08:48:30.000Z (9 months ago)
• Last Synced: 2024-10-19T17:05:42.487Z (2 months ago)
• Language: Idris
• Size: 7.81 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# `rpg-idris`

## Dependencies

* Install `idris2`

* Install [`idris2-pack`](https://github.com/stefan-hoeck/idris2-pack)

* (optional) Install [`just`](https://github.com/casey/just)

## Build

The `justfile` contains a `build` command which compiles the Idris source to JavaScript and collects the relevant output files in the `dist` folder.

```

just build

```

After the build has succeeded, open `dist/index.html` in a browser to view the result.