Setup

linusboehm · Jul 3, 2022 · 63e8ecd · 63e8ecd
1 parent c089447
commit 63e8ecd
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,3 +1,3 @@
-# The Val Programming Language
+# Val website
 
-Hello, World!
+This repository contains Val's website, which you can browse [here](https://val-lang.github.io).
diff --git a/index.md b/index.md
@@ -0,0 +1,5 @@
+---
+layout: default
+---
+
+Val is a research programming language aimed at exploring the concepts of mutable value semantics and generic programming for high-level systems programming.