derive

See all snapshots containing "derive"

SATySFi commands and DSL for displaying derivation trees with maintainable code

This requires Satyrographos to install. See https://github.com/na4zagin3/satyrographos.

Installation

Author

Yuito Murase <yuito@acupof.coffee>

Maintainer

Yuito Murase <yuito@acupof.coffee>

License

MIT

Published on

2021-01-02

Dependencies
satysfi>= "0.0.5" & < "0.1"
dist
base>= "1.3.0" & < "2.0.0"
satyrographos>= "0.0.2.6" & < "0.0.3"
Show dependent packages...
Math commands (beta)
\proven