diff --git a/_layouts/home.html b/_layouts/home.html index 219bc99..154ca81 100644 --- a/_layouts/home.html +++ b/_layouts/home.html @@ -46,7 +46,7 @@

Effekt Language

Effekt is a research-level language — use at your own risk! While we are heavily working on it, there are probably many bugs and many things will change in the future. - Of course, we are happy if you try it out and report your experience with it.

+ Of course, we are happy if you try it out and report your experience with it.

Have fun!

diff --git a/index.md b/index.md index 96b4463..85ce8c8 100644 --- a/index.md +++ b/index.md @@ -48,7 +48,7 @@ If you are interested in the Effekt language, we have a few things to get you st

Installation Guide

-

To install Effekt and try the examples on your own computer you can follow the installation instructions.

+

To install Effekt and try the examples on your own computer you can follow the installation instructions.

diff --git a/quickstart.md b/quickstart.md index f1fbeb0..a683f19 100644 --- a/quickstart.md +++ b/quickstart.md @@ -6,7 +6,7 @@ position: 2 --- # Try Effekt Online -You can immediately experiment with the Effekt language, without [installing](docs/getting-started) it. +You can immediately experiment with the Effekt language, without [installing](docs/) it. Effekt is a research language, we recommend reading [the papers](https://se.cs.uni-tuebingen.de/research/handlers/effekt/) describing important design decisions and the inner workings of Effekt.