Replies: 3 comments 4 replies
-
The site uses DocLog to document predicates, see the README.md for a introduction of how to use it. If you refer to the mode indicators that are often used in the header of the documentation of predicates, this is something that seems to not be universally agreed upon, but the ones that are used a lot in the Scryer documentation are those 3:
The exact definitions of those 3 vary depending on who you ask, but its always roughly this. So for example |
Beta Was this translation helpful? Give feedback.
-
Or even |
Beta Was this translation helpful? Give feedback.
-
Please do! I think I discovered the purpose of |
Beta Was this translation helpful? Give feedback.
-
I could like to contribute docs for
library(reif)
. The docs at scryer.pl seem to have a sort of format and structure, I would like to know whether that format is formally described anywhere.Beta Was this translation helpful? Give feedback.
All reactions