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.tar.gz
md5=773a411088ee70e50047d7dafbb4789e
sha512=25bb2fdac7189a86a172e10a40c7d17a03cb3791c06d955e0615b6ef70eb023e4eb845470380d85cb0d145a4a8e9aef0db4ee5eb9778dec92e9a8b5035561e8d

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