feat(tree-sitter-sol): use ||

aripiprazole · May 7, 2024 · 68b478c · 68b478c
1 parent 56e8ae3
commit 68b478c
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/tree-sitter-sol/examples/Main.sol b/tree-sitter-sol/examples/Main.sol
@@ -1,18 +1,19 @@
 // Natural numbers
 Nat : * = (n : *) -> (n -> n) -> n
 
-Succ (prev : Nat) : Nat = \n succ# zero# =>
+Succ (prev : Nat) : Nat = |n succ# zero#|
   succ# (prev n succ# zero#) zero#
 
-Zero : Nat = \n succ# zero# => zero#
+Zero : Nat = |n succ# zero#|
+  zero#
 
 // Maybe definition
 Maybe (t : *) = (a : *) -> (t -> a) a -> a
 
-Just (value : a) : Maybe a = \t just# nothing# =>
+Just (value : a) : Maybe a = |t just# nothing#|
   just# value
 
-Nothing : Maybe a = \t just# nothing# =>
+Nothing : Maybe a = |t just# nothing#|
   nothing#
 
 Maybe.unwrap (maybe : Maybe a) : a =