1 files changed, 10 insertions, 0 deletions
diff --git a/examples/features/Param.gf b/examples/features/Param.gf
new file mode 100644
index 000000000..0b5ed2453
--- /dev/null
+++ b/examples/features/Param.gf
@@ -0,0 +1,10 @@
+resource Param = {
+
+  param Bool = True | False ;
+
+  oper and : Bool -> Bool -> Bool = \x,y -> case x of {
+    True => y ;
+    _ => False
+    } ;
+
+}