Define a List datatype

facet-lang · Oct 20, 2020 · 731b833 · 731b833
1 parent 20a7167
commit 731b833
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/Base/List.facet b/src/Base/List.facet
@@ -2,6 +2,9 @@ Base.List
 : Module
 {
 
-
+List : (A : Type) -> Type
+{ nil : List A
+, cons : A -> List A -> List A
+}
 
 }