[debian-edu-commits] debian-edu/lambdacan.git (#10) - master (branch) updated: upstream/2.0-9-g970f4b8

[anthony gasperin]

The branch, master has been updated
       via  970f4b81df7a6de98d50889c5377494c0f7922f8 (commit)
      from  10829bb9cdd4f98410a186ca330264a2e5f4d007 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 970f4b81df7a6de98d50889c5377494c0f7922f8
Author: Anthony Gasperin <anthony.gasperin at gmail.com>
Date:   Fri Aug 30 17:29:39 2013 +0200

    man pages

-----------------------------------------------------------------------

Summary of changes:
 debian/lambdacan.1 |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

The diff of changes is:
diff --git a/debian/lambdacan.1 b/debian/lambdacan.1
index 0884524..16f1968 100644
--- a/debian/lambdacan.1
+++ b/debian/lambdacan.1
@@ -48,7 +48,8 @@ Project LambdaCan takes this tool for exploring the most profound mathematical p
 .\"\fBlambdacan\fP is a program that...
 
 .SH SYNTAX
-The syntax of the Lambda Calculus is very simple: it has variables like x and functions like (\x.x). This function, for example, takes one argument x and returns the value of that argument---it's the identity function. In Church's original syntax, the \ would be a lambda. The period is a little syntactic sugar to make the function more readable by visually separating parameters from body. The Lambda Calculus also includes applications of functions. For example, ((\x.x) A) applies the above identity function to the argument A. Reducing expressions, at least in the simplest cases, amounts to syntactically substituting arguments for formal parameters in function bodies, like so:
+The syntax of the Lambda Calculus is very simple: it has variables like x and functions like (\\x.x). 
+This function, for example, takes one argument x and returns the value of that argument---it's the identity function. In Church's original syntax, the \ would be a lambda. The period is a little syntactic sugar to make the function more readable by visually separating parameters from body. The Lambda Calculus also includes applications of functions. For example, ((\x.x) A) applies the above identity function to the argument A. Reducing expressions, at least in the simplest cases, amounts to syntactically substituting arguments for formal parameters in function bodies, like so:
 
 >> ((\\x.x) A);;
 .br


hooks/post-receive
-- 
lambdacan.git (Debian package lambdacan)

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "lambdacan.git" (Debian package lambdacan).