GitHub - dsummerfield/visual-lambda: Automatically exported from code.google.com/p/visual-lambda

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
cache.py		cache.py
color.py		color.py
common.py		common.py
config.cfg		config.cfg
config.py		config.py
construct.py		construct.py
cursors.py		cursors.py
debug.py		debug.py
default.xml		default.xml
eating.py		eating.py
events.py		events.py
fielditem.py		fielditem.py
figure.py		figure.py
history.py		history.py
icons.bmp		icons.bmp
kgrind.py		kgrind.py
lambdaparser.py		lambdaparser.py
let.py		let.py
library.py		library.py
library.txt		library.txt
manipulator.py		manipulator.py
matrix.py		matrix.py
node.py		node.py
noke.py		noke.py
readme.txt		readme.txt
refnames.py		refnames.py
ring.py		ring.py
saving.py		saving.py
setup.py		setup.py
toolbar.py		toolbar.py
vector.py		vector.py
window.py		window.py

Repository files navigation

Run:

python manipulator.py




--------------------------------------------------------
Interface



Items
    Input from console                  I
        Examples:
            >> \\x y. (\\x. x)
            >> FACT 3                   (see library.txt)
            >> "Label"
    
    Select, Drag                        Left mouse button
    
    With selected item
        Delete                          D
        Copy                            C

    Add Free Variable                   V


Zoom View                               Mouse Wheel
Refresh View                            F5


Reduce Selected                         Enter
Nonstop reduction                       Ctrl+Enter


Modes of reduction
    Applicative/Normal                  Alt+A
    Lazy/Pure                           Alt+L, Alt+P
    Inside selection                    Alt+S
    
    Quick Mode                          Q
        Pick for reduction


Construction of terms
    Expand selection                    Space
    
    Add Free Variable                   V
    
    With selected sub-term
        Delete                          Delete
        Insert Application before       Insert,      A
        Insert Application after        Ctrl+Insert, Ctrl+A
        Insert Lambda                   Alt+Insert,  L
        Bind Variable/Lambda with 
          selected Lambda/Variable      Right Mouse Button
          
    Applicate                           Drop Item onto another

    Substitute for free variable 
        with Item                       Drop Item onto free variable

    

History
    Undo                                Ctrl+Z, Alt+Left, Backspace
    Redo                                Ctrl+Y, Alt+Right           

Workspace
    Save                                Ctrl+S
    Load                                Ctrl+O
    


Zoom                                    Wheel



Save screen to bmp                      F12
Mode of export frames                   Alt+E