From 7e21371b0af9dc93bf5c65c0e8c844cf4748e9f3 Mon Sep 17 00:00:00 2001 From: Magnus Madsen Date: Mon, 3 Aug 2026 18:00:05 +0200 Subject: [PATCH] fix: correct typos and grammar errors across pages Co-Authored-By: Claude Fable 5 --- src/pages/contribute.astro | 2 +- src/pages/faq.astro | 8 ++++---- src/pages/get-started.astro | 2 +- src/pages/index.astro | 34 +++++++++++++++++----------------- src/pages/internships.astro | 4 ++-- 5 files changed, 25 insertions(+), 25 deletions(-) diff --git a/src/pages/contribute.astro b/src/pages/contribute.astro index 0ef8412..4cfd480 100644 --- a/src/pages/contribute.astro +++ b/src/pages/contribute.astro @@ -37,7 +37,7 @@ import Layout from "../layouts/Layout.astro";

- 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.

diff --git a/src/pages/faq.astro b/src/pages/faq.astro index f9d761b..c5e68f2 100644 --- a/src/pages/faq.astro +++ b/src/pages/faq.astro @@ -18,7 +18,7 @@ import Question from "../components/FAQ/Question.astro"; What is the best way to start learning Flix?

- We recommend to read the Programming Flix book.

@@ -261,7 +261,7 @@ import Question from "../components/FAQ/Question.astro";

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.

@@ -279,8 +279,8 @@ import Question from "../components/FAQ/Question.astro";

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, ...

diff --git a/src/pages/get-started.astro b/src/pages/get-started.astro index 26b425d..f633ee3 100644 --- a/src/pages/get-started.astro +++ b/src/pages/get-started.astro @@ -12,7 +12,7 @@ import Layout from "../layouts/Layout.astro";

- 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 online playground and can be installed locally

- 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.

@@ -202,7 +202,7 @@ const vscodeSlides = [

Region-based Local Mutation

Flix supports region-based local mutation, which makes it possible - to implement pure functions that internally uses mutable state + to implement pure functions that internally use mutable state and destructive operations, as long as these operations are confined to the region.

@@ -389,9 +389,9 @@ const vscodeSlides = [ structures.

- The code on the left adds an associated effect Aef to the - Coll trait, which makes it possible to add instances for - mutable collections. + The code on the left adds an associated effect Aef to + the Coll trait, which makes it possible to add + instances for mutable collections.

@@ -515,9 +515,9 @@ const vscodeSlides = [

- 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.

@@ -561,7 +561,7 @@ const vscodeSlides = [
  • monadic forM expressions
  • applicative forA expressions
    • -
  • expressions holes
    • +
  • expression holes
  • compilation to JVM bytecode
  • full tail call elimination
  • resilient compiler architecture
    • @@ -578,7 +578,7 @@ const vscodeSlides = [

    Standard Library with Batteries Included

    Flix comes with a fully-featured Standard Library that offers access - to more than 4,000+4,000+ functions.

    @@ -683,7 +683,7 @@ const vscodeSlides = [

    - 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.

@@ -884,9 +884,9 @@ const vscodeSlides = [ > in Denmark in collaboration with researchers from the University of Waterloo in Canada, the University of TubingenUniversity of Tübingen in Germany, and Copenhagen UniversityUniversity of Copenhagen in Denmark.

@@ -941,18 +941,18 @@ const vscodeSlides = [ The JVM has multiple battle-tested, open-source and commercial implementations, including OpenJDK, J9, Azul, Graal, and more. -

  • JVMs exists for all platforms: Mac, Linux, and Windows.
    • +
  • JVMs exist for all platforms: Mac, Linux, and Windows.
  • Modern JVMs feature multiple state-of-the-art garbage collectors.
  • 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.
  • Excellent tool support, including debuggers and profilers.
  • The Java Platform comes with a rich ecosystem of packages which is - accessible thru integration with Maven. + accessible through integration with Maven.
    • @@ -1087,7 +1087,7 @@ const vscodeSlides = [ University of Tubingen diff --git a/src/pages/internships.astro b/src/pages/internships.astro index 968a3a3..4f946e4 100644 --- a/src/pages/internships.astro +++ b/src/pages/internships.astro @@ -19,7 +19,7 @@ import Layout from '../layouts/Layout.astro'; Want to work on Flix?

    -

    Then join us for a internship at Aarhus University in Denmark!

    +

    Then join us for an internship at Aarhus University in Denmark!

    @@ -34,7 +34,7 @@ import Layout from '../layouts/Layout.astro';

    - 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.