package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install 

dune-project
 Dependency

sr.ht Readme Edit opam file Versions (17)

Authors

  1. J
    Jonathan Sterling

Maintainers

  1. J
    Jonathan Sterling

Sources

2.3.tar.gz
md5=00fff94216aacd334351c2b1741d5246
sha512=724770d12a91674da76cc7842020ce7af2d37950d4429fe1ffac3b05d73a2079648f00c8eb33595e3dfa4874b2cd6b6a8c9d1f9034276a00b44d302091630cdb

doc/forester.core/Core/Code/index.html

Module Core.CodeSource

Sourcetype node =
  1. | Text of string
  2. | Group of Core__.Base.delim * t
  3. | Math of Core__.Base.math_mode * t
  4. | Ident of string list
  5. | Transclude of string
  6. | EmbedTeX of t
  7. | Let of string list * string list list * t
  8. | Open of string list
  9. | Block of t * t
  10. | Scope of t
  11. | Put of string list * t
  12. | Default of string list * t
  13. | Get of string list
  14. | Query of t Query.t
  15. | Import of Core__.Base.visibility * string
  16. | Def of string list * string list list * t
  17. | Alloc of string list
  18. | Title of t
  19. | Taxon of string
  20. | Meta of string * t
  21. | Author of string
  22. | Tag of string
  23. | TeXPackage of string
  24. | Date of string
  25. | Namespace of string list * t
Sourceand t = node list
Sourcetype doc = t
Sourceval import_private : string -> node
Sourceval import_public : string -> node
Sourceval inline_math : t -> node
Sourceval display_math : t -> node
Sourceval parens : t -> node
Sourceval squares : t -> node
Sourceval braces : t -> node