diff options
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/index.html b/docs/index.html index d5edad4..837492f 100644 --- a/docs/index.html +++ b/docs/index.html @@ -5,7 +5,7 @@ <meta name="viewport" content="width=device-width" /> <meta name="description" - content="Functional programming language based on pure De Bruijn indexed lambda calculus." + content="Functional programming language based on pure de Bruijn indexed lambda calculus." /> <link rel="stylesheet" href="style.css" type="text/css" media="all" /> <title>bruijn programming language</title> @@ -28,7 +28,7 @@ <div class="right"> <p> - Functional programming language based on pure De Bruijn indexed lambda + Functional programming language based on pure de Bruijn indexed lambda calculus. </p> </div> |