From 5c0d3414fe97eb9d2a7f98188baa84dec9b0b0c9 Mon Sep 17 00:00:00 2001
From: Magnus Madsen <magnus-madsen@users.noreply.github.com>
Date: Sat, 23 Dec 2023 01:24:19 +0100
Subject: [PATCH] chore: rename `class` to `trait` (#126)

---
 src/page/Home.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/page/Home.js b/src/page/Home.js
index 043421a..faf0ff6 100644
--- a/src/page/Home.js
+++ b/src/page/Home.js
@@ -376,7 +376,7 @@ def map(f: a -> b \\ ef, l: LazyList[a]): LazyList[b] \\ ef =
                     </Col>
                     <Col md="6">
                         <InlineEditor>
-                            {`class Eq[a] {
+                            {`trait Eq[a] {
     def eq(x: a, y: a): Bool
     def neq(x: a, y: a): Bool = not Eq.eq(x, y)
 }
@@ -394,7 +394,7 @@ instance Eq[(a1, a2)] with Eq[a1], Eq[a2] {
                 <Row className="mb-4">
                     <Col md="6">
                         <InlineEditor>
-                            {`class Foldable[t : Type -> Type] {
+                            {`trait Foldable[t : Type -> Type] {
 
     ///
     /// Left-associative fold of a structure.