From 4e987026148fe65c323afbc93cd560c07bf06b3f Mon Sep 17 00:00:00 2001
From: Yale AI Dept <ai@nebula.cs.yale.edu>
Date: Wed, 14 Jul 1993 13:08:00 -0500
Subject: Import to github.

---
 cfn/README | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 cfn/README

(limited to 'cfn/README')

diff --git a/cfn/README b/cfn/README
new file mode 100644
index 0000000..80a25c1
--- /dev/null
+++ b/cfn/README
@@ -0,0 +1,35 @@
+Whats what in the cfn.
+
+Language generated by cfn contains these ast node types:
+  lambda
+  let
+  if
+  case   -- restriction: all patterns must be either literals or
+                         a constructor with var and wildcard args
+  app
+  var-ref
+  con-ref
+  const
+  con-number
+  sel
+  is-constructor
+
+Transformations to do:
+  Convert lists to explicit calls to cons
+  Simplify patterns
+  Remove sequences
+  Remove list comprehensions
+  Remove sections
+  Reduce patterns on lhs of decls
+  Reduce patterns in function args
+  Convert where decls to let statements
+  Convert guarded-expressions to if - then - else form
+
+Done earlier:
+  signdecls are removed in scoping
+  exp-signs are removed in typechecker
+  prec parser removes `negate' & pp-* nodes
+
+
+
+
-- 
cgit v1.2.3