mirror of
https://github.com/mii443/proof-dictionary.git
synced 2025-08-22 15:15:37 +00:00
9165eedcef
Bumps [path-parse](https://github.com/jbgutierrez/path-parse) from 1.0.6 to 1.0.7. - [Release notes](https://github.com/jbgutierrez/path-parse/releases) - [Commits](https://github.com/jbgutierrez/path-parse/commits/v1.0.7) --- updated-dependencies: - dependency-name: path-parse dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
proof-dictionary
This dictionary is for proofdict.
- Dictionary: https://proofdict.github.io/proof-dictionary/redirect/?type=dictionary
- Editor: https://proofdict.github.io/proof-dictionary/redirect/?type=editor
- JSON API: https://proofdict.github.io/proof-dictionary/redirect/?type=api
Usage
Add dictionary
If you want to add new rule to your dictionary, you can add new rule by following steps:
Visit your editor page:
Update dictionary
If you want to update the rule from your dictionary, you can edit it by following steps:
- Visit _data/proofdict
- Select the file for updating
- Edit the file by click
icon
Remove dictionary
If you want to remove unnecessary rule from your dictionary, you can remove it by following steps:
- Visit _data/proofdict
- Select the file for removing
- Remove the file by click
icon
Test dictionary
You can check your proof-dictionary is valid format.
Run following command in your local:
npm install
npm test