changed names of resource-1.3; added a note on homepage on release

1 files changed, 11 insertions, 0 deletions

diff --git a/old-examples/features/Param.gf b/old-examples/features/Param.gf
new file mode 100644
index 000000000..15b0cd8b7
--- /dev/null
+++ b/old-examples/features/Param.gf
@@ -0,0 +1,11 @@
+resource Param = {
+
+  param Bool = True | False ;
+
+  oper and  -- : Bool -> Bool -> Bool 
+   = \\x,y => case x of {
+    True => y ;
+    False => False
+    } ;
+
+}