From 15fda4ea9704ceef2a81ad67cc3ac8e26c44e3cd Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Tue, 4 Jun 2019 17:12:24 -0700 Subject: [PATCH] Add some basic programs --- programs/data_decls.lily | 2 ++ programs/length.lily | 6 ++++++ programs/not.lily | 6 ++++++ 3 files changed, 14 insertions(+) create mode 100644 programs/data_decls.lily create mode 100644 programs/length.lily create mode 100644 programs/not.lily diff --git a/programs/data_decls.lily b/programs/data_decls.lily new file mode 100644 index 0000000..85af0c1 --- /dev/null +++ b/programs/data_decls.lily @@ -0,0 +1,2 @@ +data Bool = { True, False } +data IntList = { Nil, Cons(Int, IntList) } diff --git a/programs/length.lily b/programs/length.lily new file mode 100644 index 0000000..3463966 --- /dev/null +++ b/programs/length.lily @@ -0,0 +1,6 @@ +defn length l = { + case l of { + Nil -> { 0 } + Cons(x, xs) -> { 1 + length xs } + } +} diff --git a/programs/not.lily b/programs/not.lily new file mode 100644 index 0000000..8676963 --- /dev/null +++ b/programs/not.lily @@ -0,0 +1,6 @@ +defn not b = { + case b of { + False -> { True } + True -> { False } + } +}