From 8ee421a3623abfaf095f8b35fbdd5d3443cc10aa Mon Sep 17 00:00:00 2001
From: ice1000 <ice1000kotlin@foxmail.com>
Date: Sat, 1 Jun 2024 23:21:11 -0400
Subject: [PATCH] guide: uncomment

---
 aya/guide/haskeller-tutorial.aya.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/aya/guide/haskeller-tutorial.aya.md b/aya/guide/haskeller-tutorial.aya.md
index 4568e67..10c9b5b 100644
--- a/aya/guide/haskeller-tutorial.aya.md
+++ b/aya/guide/haskeller-tutorial.aya.md
@@ -197,20 +197,20 @@ variable A : Type
 example def id (x : A) => x
 ```
 
-<!-- Aya supports type aliases as functions. For example, we may define the type of binary
+Aya supports type aliases as functions. For example, we may define the type of binary
 operators as a function:
 
 ```aya
-// def BinOp (A : Type) => A -> A -> A
+def BinOp (A : Type) => A -> A -> A
 ```
 
 Then, we can define `<+>` as:
 
 ```aya
-// example def infixl <+> : BinOp Nat
-// | 0, n => n
-// | suc m, n => suc (m <+> n)
-``` -->
+example def infixl <+> : BinOp Nat
+| 0, n => n
+| suc m, n => suc (m <+> n)
+```
 
 ## Type families