[debian-edu-commits] debian-edu/lambdacan.git (#22) - master (branch) updated: upstream/2.0-21-g1b7884d
anthony gasperin
nyothan-guest at alioth.debian.org
Sun Sep 1 10:24:03 UTC 2013
The branch, master has been updated
via 1b7884df70676fcdbbf4bcffee51894fdd3e4032 (commit)
from 03f779152c610e01701bf0c0d0da8038fae3f8f9 (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 1b7884df70676fcdbbf4bcffee51894fdd3e4032
Author: Anthony Gasperin <anthony.gasperin at gmail.com>
Date: Sat Aug 31 11:26:34 2013 +0200
manpages
-----------------------------------------------------------------------
Summary of changes:
debian/lambdacan.1 | 8 +++---
debian/{lambdacan.1 => lci.1} | 64 +++++++----------------------------------
2 files changed, 14 insertions(+), 58 deletions(-)
copy debian/{lambdacan.1 => lci.1} (57%)
The diff of changes is:
diff --git a/debian/lambdacan.1 b/debian/lambdacan.1
index 2885082..28460b9 100644
--- a/debian/lambdacan.1
+++ b/debian/lambdacan.1
@@ -20,7 +20,7 @@
lambdacan \- Lambda-calculus interpreter in a can !
.SH SYNOPSIS
.B lci
-.RI [ options ] " files" ...
+.\" .RI [ options ] " files" ...
.br
.\".B bar
.\".RI [ options ] " files" ...
@@ -38,7 +38,7 @@ and details briefly the use of the given
.\".B bar
.\"commands.
.PP
-Project LambdaCan is an amusing exercise in absurdity. It implements a reducer (interpreter) for the Lambda Calculus, a formal system (programming language) developed by Alonzo Church in the 1930's to attack the deepest mathematical problem of the day. This was the Entscheidungsproblem, the question of whether or not there exists an algorithm capable of deciding the truth or falsehood of all statements in mathematics.
+Project LambdaCan is an amusing exercise in absurdity. It implements a reducer (lci) for the Lambda Calculus, a formal system (programming language) developed by Alonzo Church in the 1930's to attack the deepest mathematical problem of the day. This was the Entscheidungsproblem, the question of whether or not there exists an algorithm capable of deciding the truth or falsehood of all statements in mathematics.
Project LambdaCan takes this tool for exploring the most profound mathematical problems and implements it on a microcontroller better suited to the most mundane of tasks, like running a vending machine or microwave oven. And it sticks the microcontroller in a can that you can connect to your PC using a USB cable.
@@ -74,7 +74,7 @@ FORMULA ::= VARIABLE
VARIABLE ::= [A-Z,a-z]
.br
- In it's most basic form, there are no numbers or strings in the Lambda Calculus---only functions. However, you can invent conventions on how to encode numbers as functions. One such convention called "Church numerals" encodes numbers as follows:
+ In it's most basic form, there are no numbers or strings in the Lambda Calculus, only functions. However, you can invent conventions on how to encode numbers as functions. One such convention called "Church numerals" encodes numbers as follows:
.br
0 = (\\s.(\\z.z))
.br
@@ -86,7 +86,7 @@ Every number is represented by a distinct function of two arguments: s and z. Th
.br
(\\M.(\\N.(\\s.(\\z.(M (s (N (s z))))))))
.br
- So when asked to calculate 1 + 1 = 2, LambdaCan produces the following output:
+ So when asked to calculate 1 + 1 = 2, lci produces the following output:
.br
>> ((
.br
diff --git a/debian/lambdacan.1 b/debian/lci.1
similarity index 57%
copy from debian/lambdacan.1
copy to debian/lci.1
index 2885082..edf125d 100644
--- a/debian/lambdacan.1
+++ b/debian/lci.1
@@ -2,7 +2,7 @@
.\" First parameter, NAME, should be all caps
.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
.\" other parameters are allowed: see man(7), man(1)
-.TH Lambdacan 1 "July 15, 2012"
+.TH lci "August 31, 2013"
.\" Please adjust this date whenever revising the manpage.
.\"
@@ -17,35 +17,26 @@
.\" .sp <n> insert n+1 empty lines
.\" for manpage-specific macros, see man(7)
.SH NAME
-lambdacan \- Lambda-calculus interpreter in a can !
+lci \- Lambda-calculus interpreter
.SH SYNOPSIS
.B lci
-.RI [ options ] " files" ...
+.\" .RI [ options ] " files" ...
.br
.\".B bar
.\".RI [ options ] " files" ...
.SH DESCRIPTION
-This manual page documents briefly the
-.B lambdacan project
+.I lci
.RI
-and details briefly the use of the given
-.I lambda-calculus interpreter
+is a
+.B lambda-calculus interpreter
+.RI
+that comes with the lambdacan project
.br
-.B lci
.\"and
.\".B bar
.\"commands.
-.PP
-Project LambdaCan is an amusing exercise in absurdity. It implements a reducer (interpreter) for the Lambda Calculus, a formal system (programming language) developed by Alonzo Church in the 1930's to attack the deepest mathematical problem of the day. This was the Entscheidungsproblem, the question of whether or not there exists an algorithm capable of deciding the truth or falsehood of all statements in mathematics.
-
-Project LambdaCan takes this tool for exploring the most profound mathematical problems and implements it on a microcontroller better suited to the most mundane of tasks, like running a vending machine or microwave oven. And it sticks the microcontroller in a can that you can connect to your PC using a USB cable.
-
-.\" TeX users may be more comfortable with the \fB<whatever>\fP and
-.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
-.\" respectively.
-.\"\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).
@@ -74,7 +65,7 @@ FORMULA ::= VARIABLE
VARIABLE ::= [A-Z,a-z]
.br
- In it's most basic form, there are no numbers or strings in the Lambda Calculus---only functions. However, you can invent conventions on how to encode numbers as functions. One such convention called "Church numerals" encodes numbers as follows:
+ In it's most basic form, there are no numbers or strings in the Lambda Calculus, only functions. However, you can invent conventions on how to encode numbers as functions. One such convention called "Church numerals" encodes numbers as follows:
.br
0 = (\\s.(\\z.z))
.br
@@ -86,7 +77,7 @@ Every number is represented by a distinct function of two arguments: s and z. Th
.br
(\\M.(\\N.(\\s.(\\z.(M (s (N (s z))))))))
.br
- So when asked to calculate 1 + 1 = 2, LambdaCan produces the following output:
+ So when asked to calculate 1 + 1 = 2, lci produces the following output:
.br
>> ((
.br
@@ -112,41 +103,6 @@ Every number is represented by a distinct function of two arguments: s and z. Th
-.SH ARDUINO PLATFORMS
-Lamdacan Project comes with the
-.B lci
-program which is a posix lambda-calculus interpreter.
-It also cames with the possibility to make one for Arduino platforms. Run
-.RS
-.B make
-.I -f Makefile-arduino
-.RE
-to build. To upload, press the reset button on the board and immediately afterwards run
-.RS
-.B make
-.I -f Makefile-arduino upload
-.br
-.\"OPTIONS
-.\"These programs follow the usual GNU command line syntax, with long
-.\"options starting with two dashes (`-').
-.\"A summary of options is included below.
-.\"For a complete description, see the Info files.
-.\".TP
-.\".B \-h, \-\-help
-.\"Show summary of options.
-.\".TP
-.\".B \-v, \-\-version
-.\"Show version of program.
-
-.\".SH SEE ALSO
-.\".BR bar (1),
-.\".BR baz (1).
-.\".br
-.\"The programs are documented fully by
-.\".IR "The Rise and Fall of a Fooish Bar" ,
-.\"available via the Info system.
-.SH AUTHOR
-lambdacan was written by Tim Fraser.
.PP
This manual page was written by Anthony Gasperin <anthony.gasperin at gmail.com>,
for the Debian project (and may be used by others).
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).
More information about the debian-edu-commits
mailing list