Skip to content

Commit

Permalink
✨ 🧹 ✨ [Docs] Update new_graph.md
Browse files Browse the repository at this point in the history
  • Loading branch information
vadyushkins authored Nov 7, 2021
1 parent 31caf52 commit de38e4a
Showing 1 changed file with 7 additions and 3 deletions.
10 changes: 7 additions & 3 deletions .github/PULL_REQUEST_TEMPLATE/new_graph.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,4 @@
⚠ To suggest a new graph, you must fill in all the fields in the triangle brackets(``<>``) ⚠
---
# About the new graph
<!-- ⚠ To suggest a new graph, you must fill in all the fields in the triangle brackets(``<>``) ⚠ -->

## Info
| | |
Expand All @@ -26,3 +24,9 @@
| Edge Label | Num Edge Label |
|---:|---:|
| ``<The type of the edge label of the new graph >`` | ``<The number of edges in the new graph of this type>`` |

## Canonical grammars

<LaTeX format of grammar>

<Pyformlang CFG format of grammar>

0 comments on commit de38e4a

Please sign in to comment.