adding a documentation for the digraph language