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

[anthony gasperin]

The branch, master has been updated
       via  91e95627f2c99c441aa6bcbf999ac984a51d14ab (commit)
      from  970f4b81df7a6de98d50889c5377494c0f7922f8 (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 91e95627f2c99c441aa6bcbf999ac984a51d14ab
Author: Anthony Gasperin <anthony.gasperin at gmail.com>
Date:   Fri Aug 30 17:37:52 2013 +0200

    Correct some syntax errors

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

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

The diff of changes is:
diff --git a/debian/lambdacan.1 b/debian/lambdacan.1
index 16f1968..513dd38 100644
--- a/debian/lambdacan.1
+++ b/debian/lambdacan.1
@@ -48,8 +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).