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.4.1.tar.gz
md5=6bdd20df3d77c5fdcf020a74f7964d95
sha512=a60fed82e04be2dc58ca77fd339d0d63e5bfa281f188ddda17c0035a2755c0c575d29d02dfd8742dda81ba02092226029e63b1acc1939f748a3bff3560b79b04

doc/forester.frontend/Forester/Parser/index.html

Module Forester.ParserSource

Sourcetype token =
  1. | TRANSCLUDE
  2. | TITLE
  3. | TEX_PACKAGE
  4. | TEXT of string
  5. | TEX
  6. | TAXON
  7. | TAG
  8. | SCOPE
  9. | RSQUARE
  10. | RPAREN
  11. | RBRACE
  12. | QUERY_TREE
  13. | QUERY_TAXON
  14. | QUERY_TAG
  15. | QUERY_OR
  16. | QUERY_META
  17. | QUERY_AUTHOR
  18. | QUERY_AND
  19. | PUT
  20. | OPEN
  21. | NAMESPACE
  22. | META
  23. | LSQUARE
  24. | LPAREN
  25. | LET
  26. | LBRACE
  27. | IMPORT
  28. | IDENT of string list
  29. | HASH_LBRACE
  30. | HASH_HASH_LBRACE
  31. | GET
  32. | EXPORT
  33. | EOF
  34. | DEFAULT
  35. | DEF
  36. | DATE
  37. | BLOCK
  38. | AUTHOR
  39. | ALLOC
Sourceexception Error