From be24522f2bbe00d00d7105ed2e3a54f6547bef07 Mon Sep 17 00:00:00 2001 From: Arman Bilge Date: Sat, 2 Mar 2024 11:17:36 -0800 Subject: [PATCH] Update index.html Co-authored-by: Justin du Coeur, AKA Mark Waks --- gsoc/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gsoc/index.html b/gsoc/index.html index 39c5368..981b54a 100644 --- a/gsoc/index.html +++ b/gsoc/index.html @@ -12,7 +12,7 @@

{{ page.title }}

Welcome!

- Typelevel will be participating GSoC 2024. + Typelevel will be participating in GSoC 2024.

Contributors: Feel free to join our Discord server and introduce yourself in the