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.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