资 源 简 介
Project moved to https://bitbucket.org/bntr/visual-lambda
Visual Lambda
Visual Lambda environment allows intuitive manipulation of lambda calculus expressions.
Screenshot
Notation
Basics
More detailed in this thesis visual\_lambda.pdf
Examples
"MULT 3 2" evaluation
"((λgm.m(gg))(λgm.m(gg)))M" building and evaluation
文 件 列 表
visual_lambda
base.pyd
bz2.pyd
cdrom.pyd
config.cfg
constants.pyd
default.xml
display.pyd
draw.pyd
event.pyd
fastevent.pyd
font.pyd
icons.gif
image.pyd
imageext.pyd
joystick.pyd
jpeg.dll
key.pyd
libogg-0.dll
libpng13.dll
library.txt
library.zip
libtiff.dll
libvorbis-0.dll
libvorbisfile-3.dll
manipulator.exe
mask.pyd
mixer.pyd
mixer_music.pyd
mouse.pyd
movie.pyd
msvcr71.dll
overlay.pyd
pixelarray.pyd
pyexpat.pyd
python25.dll
readme.txt
rect.pyd
rwobject.pyd
scrap.pyd
SDL.dll
SDL_image.dll
SDL_mixer.dll
SDL_ttf.dll
smpeg.dll
surface.pyd
surflock.pyd
time.pyd
transform.pyd
unicodedata.pyd
w9xpopen.exe
zlib1.dll
_hashlib.pyd
_numericsndarray.pyd
_numericsurfarray.pyd
_socket.pyd
_ssl.pyd
