Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pro
ndl
Wiki
Home
Home
· Changes
Page history
Update home
authored
6 years ago
by
Mateusz Ślażyński
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
home.md
+1
-1
home.md
with
1 addition
and
1 deletion
+1
-1
home.md
View page @
8f71f20c
## Theory
Formalization underlying the language is available on the following
[
page
](
formalization
)
Formalization underlying the language is available on the following
[
page
](
theory
)
## Specification
...
...
Menu
Projects
Groups
Snippets
Help