diff --git a/src/page/Home.js b/src/page/Home.js index 85e5d5b..95300fc 100644 --- a/src/page/Home.js +++ b/src/page/Home.js @@ -59,32 +59,9 @@ class Home extends Component { href="https://github.com/flix/flix/graphs/contributors">open source contributors.

-

- Flix is inspired by OCaml and Haskell with ideas from Rust and Scala. Flix looks like - Scala, but its type system is based on Hindley-Milner. Two unique features - of Flix are its polymorphic effect system and its support for first-class Datalog - constraints. -

- -

- Flix compiles to JVM bytecode, runs on the Java Virtual Machine, and supports full tail call - elimination. A VSCode plugin for Flix is available. -

- - - - - - - -
- - - -

Why Flix?

-

+

Flix aims to offer a unique combination of features that no other programming language offers, including: algebraic @@ -95,19 +72,22 @@ class Home extends Component { className="font-weight-bold">typematch (like Scala), type inference (like Haskell, OCaml), structured channel and process-based concurrency (like - Go), a polymorphic effect system (a unique - feature), region-based local mutation (a unique - feature), purity reflection (a unique - feature), first-class Datalog constraints (a unique - feature), - and compilation to JVM bytecode (like Scala).

+

+ Flix also supports several unique features, + including: a polymorphic effect system, region-based local mutation, purity reflection, and first-class Datalog constraints. +

+ + + +
@@ -440,7 +420,8 @@ instance Eq[(a1, a2)] with Eq[a1], Eq[a2] { Flix supports a monadic forM-yield construct similar to Scala's for-comprehensions and Haskell's do notation. The forM construct is syntactic sugar for uses - of point and flatMap (which are provided by the Monad trait). + of point and flatMap (which are provided by + the Monad trait).

@@ -669,7 +650,8 @@ let r = query p select (c, d) from ReadyDate(c; d)

- The full library can be explored at: https://api.flix.dev/ + The full library can be explored at: https://api.flix.dev/

diff --git a/src/util/Editor.js b/src/util/Editor.js index c7f0ec7..0df35da 100644 --- a/src/util/Editor.js +++ b/src/util/Editor.js @@ -21,7 +21,7 @@ class Editor extends Component { onChange={this.onChange.bind(this)} value={this.props.code} autoScrollEditorIntoView={true} - maxLines={25} + maxLines={32} editorProps={{$blockScrolling: true}}/> ) }