Add the examples to the repo.
This commit is contained in:
parent
918dfbe980
commit
c2df5fdc78
|
@ -0,0 +1,2 @@
|
||||||
|
data Bool = { True, False }
|
||||||
|
defn main = { 3 + True }
|
|
@ -0,0 +1 @@
|
||||||
|
defn main = { 1 2 3 4 5 }
|
|
@ -0,0 +1,2 @@
|
||||||
|
defn main = { plus 320 6 }
|
||||||
|
defn plus x y = { x + y }
|
|
@ -0,0 +1,3 @@
|
||||||
|
defn add x y = { x + y }
|
||||||
|
defn double x = { add x x }
|
||||||
|
defn main = { double 163 }
|
|
@ -0,0 +1,7 @@
|
||||||
|
data List = { Nil, Cons Int List }
|
||||||
|
defn length l = {
|
||||||
|
case l of {
|
||||||
|
Nil -> { 0 }
|
||||||
|
Cons x xs -> { 1 + length xs }
|
||||||
|
}
|
||||||
|
}
|
Loading…
Reference in New Issue