KTUGFaq
KTUG FAQ
KTUG
´ë¹®
ã±â
¸ñ·Ï
¹Ù²ï±Û
LambdaCalculusInTeX¿¡ ´ëÇØ Å°¿öµå¸¦ °í¸£¼¼¿ä
·Î±×ÀÎ:
ºñ¹Ð¹øÈ£:
°¡ÀÔ
You will hear good news from one you thought unfriendly to you.
MakingWebTeX
Karnes/2006-09
Progress/2008-10
TpX
Lambda Calculus In TeX
FrontPage
› LambdaCalculusInTeX
def
false
fi
first
first second
gobbletrue
ifnum0
input
input false
input true
let
output
output truth
second
second output
table
table false
table true
tex
tex def
texif
texif ifnum0
tf
true
true false
truth
truth table
vim
vim tex
°¡
±×
µÎ°³ÀÇ
µÎ¹ø°
¿Í
ÀÇ
ÀÎÀÚ¸¦
Á¤ÀÇÇÑ´Ù
Á¤ÀÇÇÑ´Ù vim
Áï
ù¹ø°
: Å°¿öµå ´õÇϱâ
---
ko
: ¾ð¾î °í¸£±â
º¸±â
ã±â
ÂÊ Áö¿ì±â
ºñ½ÁÇÑ ÂÊ
À̸§¹Ù²Ù±â
Tour
Å°¿öµå ´õÇϱâ
last modified 2006-05-15 19:06:39
Processing time 0.2340 sec