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
8 changes: 7 additions & 1 deletion src/layouts/Layout.astro
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,12 @@
import 'bootstrap/dist/css/bootstrap.min.css';
import '@fontsource/open-sans/400.css';

const { title } = Astro.props;
interface Props {
title: string;
description: string;
}

const { title, description } = Astro.props;
const currentPath = Astro.url.pathname;
const canonicalURL = new URL(currentPath, Astro.site);

Expand All @@ -26,6 +31,7 @@ import '../styles/global.css';
<meta charset="UTF-8" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>{title}</title>
<meta name="description" content={description} />
<link rel="canonical" href={canonicalURL} />
<link href="/favicon.png" rel="icon">
</head>
Expand Down
5 changes: 4 additions & 1 deletion src/pages/404.astro
Original file line number Diff line number Diff line change
@@ -1,7 +1,10 @@
---
import Layout from '../layouts/Layout.astro';
---
<Layout title="Flix | Page Not Found">
<Layout
title="Flix | Page Not Found"
description="The page you are looking for does not exist. Head back to the front page or explore the Flix documentation."
>
<div class="container">
<div class="row mb-3">
<div class="col">
Expand Down
5 changes: 4 additions & 1 deletion src/pages/blog.astro
Original file line number Diff line number Diff line change
@@ -1,7 +1,10 @@
---
import Layout from '../layouts/Layout.astro';
---
<Layout title="Flix | Blog">
<Layout
title="Flix | Blog"
description="The Flix blog has moved to blog.flix.dev, where we write about programming languages, language design, compilers, and type and effect systems."
>
<div class="container">
<div class="row mb-3">
<div class="col">
Expand Down
5 changes: 4 additions & 1 deletion src/pages/contribute.astro
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@
import Layout from "../layouts/Layout.astro";
---

<Layout title="Flix | Contribute">
<Layout
title="Flix | Contribute"
description="Flix is open source under Apache 2.0. Contribute on GitHub, join the discussion on Zulip, or work with us through open source mentoring and student projects."
>
<div class="container">
<div class="row mb-3">
<div class="col">
Expand Down
5 changes: 4 additions & 1 deletion src/pages/documentation.astro
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,10 @@ const smallLinks = [
];
---

<Layout title="Flix | Documentation">
<Layout
title="Flix | Documentation"
description="Flix documentation: the Programming Flix book, the standard library API reference, research literature, and community resources on Zulip and GitHub."
>
<div class="container">
<div class="row mb-3">
<div class="col">
Expand Down
5 changes: 4 additions & 1 deletion src/pages/faq.astro
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,10 @@ import QA from "../components/FAQ/QA.astro";
import Question from "../components/FAQ/Question.astro";
---

<Layout title="Flix | FAQ">
<Layout
title="Flix | FAQ"
description="Common questions about Flix: how to learn it, editor and LSP support."
>
<div class="container">
<h1>Frequently Asked Questions</h1>
<p class="mb-3">
Expand Down
5 changes: 4 additions & 1 deletion src/pages/get-started.astro
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@
import Layout from "../layouts/Layout.astro";
---

<Layout title="Flix | Getting Started">
<Layout
title="Flix | Getting Started"
description="Start writing Flix: install the Visual Studio Code extension, try the online playground at play.flix.dev, or install the compiler locally."
>
<div class="container">
<h1>Get Started</h1>

Expand Down
5 changes: 4 additions & 1 deletion src/pages/index.astro
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,10 @@ const vscodeSlides = [
];
---

<Layout title="The Flix Programming Language">
<Layout
title="The Flix Programming Language"
description="Flix is a principled effect-oriented functional, imperative, and logic programming language developed at Aarhus University and by a community of open source contributors."
>
<div class="container">
<div class="row mb-3">
<div class="col-md-6">
Expand Down
5 changes: 4 additions & 1 deletion src/pages/internships.astro
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@
import Layout from '../layouts/Layout.astro';
---

<Layout title="Flix | Internships">
<Layout
title="Flix | Internships"
description="Research internships at Aarhus University for students interested in compilers, programming languages, and functional programming."
>
<div class="container">
<div class="row mb-3">
<div class="col-md-12">
Expand Down
5 changes: 4 additions & 1 deletion src/pages/principles.astro
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@
import Layout from "../layouts/Layout.astro"
import Principle from "../components/Principle.astro"
---
<Layout title="Flix | Principles">
<Layout
title="Flix | Principles"
description="The design principles behind Flix and the rationale for its language, tooling, and library decisions."
>
<div class="container">
<h1>Design Principles</h1>

Expand Down
5 changes: 4 additions & 1 deletion src/pages/vscode.astro
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,10 @@ const features = [
];
---

<Layout title="Flix | Visual Studio Code Features">
<Layout
title="Flix | Visual Studio Code Features"
description="See the Flix Visual Studio Code extension in action: inline diagnostics, auto-completion, snippets, hovers, renaming, quick fixes, and code lenses."
>
<div class="container">
<div class="row mb-3">
<div class="col">
Expand Down