From 60dc4c4f086ca19fad1b8385669b04a7171e1bb0 Mon Sep 17 00:00:00 2001 From: Steve Dunham Date: Mon, 10 Apr 2023 21:35:01 -0700 Subject: [PATCH] add examples --- eg/ex.newt | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 eg/ex.newt diff --git a/eg/ex.newt b/eg/ex.newt new file mode 100644 index 0000000..0dcbafd --- /dev/null +++ b/eg/ex.newt @@ -0,0 +1,9 @@ +module Ex + +data Bool : Type where + True : Bool + False : Bool + +id : a -> a +id = \ a => a +