Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion src/pages/contribute.astro
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ import Layout from "../layouts/Layout.astro";
</p>

<p>
If you are interested working on Flix, please feel free to reach out
If you are interested in working on Flix, please feel free to reach out
to us.
</p>
</div>
Expand Down
8 changes: 4 additions & 4 deletions src/pages/faq.astro
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ import Question from "../components/FAQ/Question.astro";
<Question> What is the best way to start learning Flix? </Question>
<div>
<p>
We recommend to read the <a href="https://doc.flix.dev/"
We recommend reading the <a href="https://doc.flix.dev/"
>Programming Flix</a
> book.
</p>
Expand Down Expand Up @@ -261,7 +261,7 @@ import Question from "../components/FAQ/Question.astro";
<div>
<p>
The latest compiler version and the website are not always in sync,
hence occasionally some examples may stop to work.
hence occasionally some examples may stop working.
</p>

<p>
Expand All @@ -279,8 +279,8 @@ import Question from "../components/FAQ/Question.astro";
<div>
<p>
Yes, no programming language developed outside of those four
corporations have ever been successful. See also C, C++, Java, Python,
PHP, MatLab, Perl, R, Ruby, Scala, ...
corporations has ever been successful. See also C, C++, Java, Python,
PHP, MATLAB, Perl, R, Ruby, Scala, ...
</p>

<p>
Expand Down
2 changes: 1 addition & 1 deletion src/pages/get-started.astro
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ import Layout from "../layouts/Layout.astro";
<div class="row mb-5">
<div class="col">
<p>
We recommend to use Flix from Visual Studio Code. In addition, Flix
We recommend using Flix from Visual Studio Code. In addition, Flix
has an <a href="https://play.flix.dev/">online playground</a> and can be <a
href="https://doc.flix.dev/getting-started.html"
>installed locally</a
Expand Down
34 changes: 17 additions & 17 deletions src/pages/index.astro
Original file line number Diff line number Diff line change
Expand Up @@ -173,7 +173,7 @@ const vscodeSlides = [
handlers. In particular, Flix supports multi-shot resumptions.
</p>
<p>
Effect-oriented programming, with algebraic effects, allow
Effect-oriented programming, with algebraic effects, allows
programmers to write pure functions modulo effects. Effect
handlers enable program reasoning, modularity, and testability.
</p>
Expand Down Expand Up @@ -202,7 +202,7 @@ const vscodeSlides = [
<div class="card-title"><h4>Region-based Local Mutation</h4></div>
<p>
Flix supports region-based local mutation, which makes it possible
to implement <i>pure</i> functions that internally uses mutable state
to implement <i>pure</i> functions that internally use mutable state
and destructive operations, as long as these operations are confined
to the region.
</p>
Expand Down Expand Up @@ -389,9 +389,9 @@ const vscodeSlides = [
structures.
</p>
<p>
The code on the left adds an associated effect <code>Aef</code> to the
<code> Coll</code> trait, which makes it possible to add instances for
mutable collections.
The code on the left adds an associated effect <code>Aef</code> to
the <code>Coll</code> trait, which makes it possible to add
instances for mutable collections.
</p>
</div>
</div>
Expand Down Expand Up @@ -515,9 +515,9 @@ const vscodeSlides = [
</p>
<hr />
<p>
Datalog constraints enriched with lattice semantics is one of the
more advanced features of Flix and requires some background
knowledge of lattice theory and fixpoints.
Support for Datalog constraints enriched with lattice semantics is
one of the more advanced features of Flix and requires some
background knowledge of lattice theory and fixpoints.
</p>
</div>
</div>
Expand Down Expand Up @@ -561,7 +561,7 @@ const vscodeSlides = [
<ul>
<li>monadic forM expressions</li>
<li>applicative forA expressions</li>
<li>expressions holes</li>
<li>expression holes</li>
<li>compilation to JVM bytecode</li>
<li>full tail call elimination</li>
<li>resilient compiler architecture</li>
Expand All @@ -578,7 +578,7 @@ const vscodeSlides = [
<h2>Standard Library with Batteries Included</h2>
<p>
Flix comes with a fully-featured Standard Library that offers access
to more than <span class="text-success font-weight-bold">4,000+</span
to <span class="text-success font-weight-bold">4,000+</span
> functions.
</p>
<p>
Expand Down Expand Up @@ -683,7 +683,7 @@ const vscodeSlides = [
</p>

<p>
The performance of Flix compiler is mostly determined by CPU
The performance of the Flix compiler is mostly determined by CPU
performance and memory bandwidth.
</p>
</div>
Expand Down Expand Up @@ -884,9 +884,9 @@ const vscodeSlides = [
> in Denmark in collaboration with researchers from the <a
href="https://uwaterloo.ca/">University of Waterloo</a
> in Canada, the <a href="https://uni-tuebingen.de/en/"
>University of Tubingen</a
>University of Tübingen</a
> in Germany, and <a href="https://di.ku.dk/english/"
>Copenhagen University</a
>University of Copenhagen</a
> in Denmark.
</p>
<p>
Expand Down Expand Up @@ -941,18 +941,18 @@ const vscodeSlides = [
The JVM has multiple battle-tested, open-source and commercial
implementations, including OpenJDK, J9, Azul, Graal, and more.
</li>
<li>JVMs exists for all platforms: Mac, Linux, and Windows.</li>
<li>JVMs exist for all platforms: Mac, Linux, and Windows.</li>
<li>
Modern JVMs feature multiple state-of-the-art garbage collectors.
</li>
<li>
Modern JVMs have excellent support for concurrency and parallelism.
In particular, light-weight threads added in Java 21.
In particular, light-weight threads were added in Java 21.
</li>
<li>Excellent tool support, including debuggers and profilers.</li>
<li>
The Java Platform comes with a rich ecosystem of packages which is
accessible thru integration with Maven.
accessible through integration with Maven.
</li>
</ul>
</div>
Expand Down Expand Up @@ -1087,7 +1087,7 @@ const vscodeSlides = [
<img
src="/logo/tubingen.png"
class="card-img"
alt="University of Tubingen"
alt="University of Tübingen"
loading="lazy"
/>
</div>
Expand Down
4 changes: 2 additions & 2 deletions src/pages/internships.astro
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ import Layout from '../layouts/Layout.astro';
Want to work on Flix?
</p>

<p>Then join us for a internship at Aarhus University in Denmark!</p>
<p>Then join us for an internship at Aarhus University in Denmark!</p>

<hr />

Expand All @@ -34,7 +34,7 @@ import Layout from '../layouts/Layout.astro';
</p>

<p>
To apply, you should be enrolled in a bachelor's or master's degree programme at an accredited university.
To apply, you should be enrolled in a bachelor's or master's degree program at an accredited university.
</p>

<p>
Expand Down