add examples

2023-04-10 21:35:01 -07:00
parent c9fdd33770
commit 60dc4c4f08
1 changed files with 9 additions and 0 deletions
--- a/eg/ex.newt
+++ b/eg/ex.newt
@@ -0,0 +1,9 @@
+module Ex
+
+data Bool : Type where
+  True : Bool
+  False : Bool
+
+id : a -> a
+id = \ a => a
+