The cl-lambdacalc Reference Manual

This is the cl-lambdacalc Reference Manual, version 0.0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Jan 15 05:06:46 2023 GMT+0.

Table of Contents


1 Introduction


2 Systems

The main system appears first, followed by any subsystem dependency.


2.1 cl-lambdacalc

Define Lisp functions using lambda calculus syntax

Author

S M McLeod

License

MIT

Version

0.0.1

Dependency

cl-ppcre (system).

Source

cl-lambdacalc.asd.

Child Components

3 Files

Files are sorted by type and then listed depth-first from the systems components trees.


3.1 Lisp


3.1.1 cl-lambdacalc/cl-lambdacalc.asd

Source

cl-lambdacalc.asd.

Parent Component

cl-lambdacalc (system).

ASDF Systems

cl-lambdacalc.


3.1.2 cl-lambdacalc/package.lisp

Source

cl-lambdacalc.asd.

Parent Component

cl-lambdacalc (system).

Packages

cl-lambdacalc.


3.1.3 cl-lambdacalc/cl-lambdacalc.lisp

Dependency

package.lisp (file).

Source

cl-lambdacalc.asd.

Parent Component

cl-lambdacalc (system).

Public Interface
Internals

4 Packages

Packages are listed by definition order.


4.1 cl-lambdacalc

Source

package.lisp.

Use List
  • cl-ppcre.
  • common-lisp.
Public Interface
Internals

5 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


5.1 Public Interface


5.1.1 Macros

Macro: define-lc-func (name func-string)
Package

cl-lambdacalc.

Source

cl-lambdacalc.lisp.


5.1.2 Ordinary functions

Function: church-numeral-to-number (func)
Package

cl-lambdacalc.

Source

cl-lambdacalc.lisp.

Function: lc-false-p (func)
Package

cl-lambdacalc.

Source

cl-lambdacalc.lisp.

Function: lc-func (func-string)
Package

cl-lambdacalc.

Source

cl-lambdacalc.lisp.

Function: lc-true-p (func)
Package

cl-lambdacalc.

Source

cl-lambdacalc.lisp.

Function: number-to-church-numeral (num)
Package

cl-lambdacalc.

Source

cl-lambdacalc.lisp.


5.2 Internals


5.2.1 Macros

Macro: try-or-nil (body)
Package

cl-lambdacalc.

Source

cl-lambdacalc.lisp.


5.2.2 Ordinary functions

Function: close-paren-position (s)
Package

cl-lambdacalc.

Source

cl-lambdacalc.lisp.

Function: lc-boolean-test (func bool)
Package

cl-lambdacalc.

Source

cl-lambdacalc.lisp.

Function: next-body-token (body)
Package

cl-lambdacalc.

Source

cl-lambdacalc.lisp.

Function: parse-func-string (func-string)
Package

cl-lambdacalc.

Source

cl-lambdacalc.lisp.

Function: unstructured-body-list (body)
Package

cl-lambdacalc.

Source

cl-lambdacalc.lisp.


Appendix A Indexes


A.1 Concepts


A.3 Variables