diff --git a/pages/docs/index.md b/pages/docs/index.md index 351678c9cab72eba57652e23245775243ac79f24..2909f7d93d0432c2cbbdfcf2567ed7b49fbe01cf 100644 --- a/pages/docs/index.md +++ b/pages/docs/index.md @@ -18,6 +18,7 @@ is parsed. - Very simple [Load-Unload grammar](load.md) taken from the original paper [^1] to show a minimal proof-of-concept. - A [robotic use case](sorting.md) sorting dynamically appearing objects into boxes by colour. +  ## Bibliogaphy diff --git a/pages/docs/sorting.md b/pages/docs/sorting.md index 3c57634ee398cf1f3b7bac55fc28577a8b1feaff..9ffb4861776202c291d148dc8d78ae398e3efaf8 100644 --- a/pages/docs/sorting.md +++ b/pages/docs/sorting.md @@ -1,3 +1,9 @@ # The Robot Sorting Grammar +## Grammar +  + +## Video + + diff --git a/pages/mkdocs.yml b/pages/mkdocs.yml index d99c5659d38c770a27b54cb14a51dfe75e3269a5..e6ab8d4f0e5cd48f8cba5052ea3dcf07ead4e21f 100644 --- a/pages/mkdocs.yml +++ b/pages/mkdocs.yml @@ -30,3 +30,4 @@ plugins: locale: en fallback_to_build_date: True - macros + - mkdocs-video