Lambda Calculus
Timeline
Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

50 most recent check-ins

2012-03-31
13:57
updated slides.html and added dayName back into evaluator, since it's in the talk Leaf check-in: d01c60b446 user: bill tags: trunk
13:50
simplified nextDat and prevDay check-in: 83709ccfd9 user: bill tags: trunk
2012-03-30
16:59
fix for firefox check-in: 4ff061ad90 user: bill tags: trunk
2012-03-24
20:38
added tiny build script check-in: 7d4b942dc6 user: bill tags: trunk
20:14
added boolean and number support to parser, started repl check-in: 867788e21f user: bill tags: trunk
2012-03-23
04:04
cleanup check-in: 8bee87d5e7 user: bill tags: trunk
02:57
changed to coffeescript check-in: 965adde0d8 user: bill tags: trunk
2012-03-22
04:38
more cleanup check-in: 1b408c7c46 user: bill tags: trunk
04:14
cleaned up lazp.js -- took out obsolete and unused code check-in: 79a4d9cbbf user: bill tags: trunk
04:01
removed references to lc.js and lcvm.js from lazp.js check-in: e5a2df7600 user: bill tags: trunk
03:47
tiny testing cleanup + license notices check-in: cb3c3a8015 user: bill tags: trunk
03:40
put wimpy testing framework into testing.js check-in: 1072b4863a user: bill tags: trunk
03:31
testing parser, code generator, AST, and eval (testLazp.js) check-in: 31d1efcbb4 user: bill tags: trunk
2012-03-20
23:25
renamed hl.js to lazp.js check-in: 20050d99dd user: bill tags: trunk
23:24
removing lazp.js in preperation for the hl.js rename check-in: 82c297d53b user: bill tags: trunk
23:22
checkpoint check-in: 109e821d19 user: bill tags: trunk
23:18
minor changes check-in: 331945630b user: bill tags: trunk
23:14
parser looks promising, updated TODO and some docs check-in: 183f4ee657 user: bill tags: trunk
15:53
doc changes check-in: c417d12f49 user: bill tags: trunk
15:52
doc changes check-in: 391380a0ba user: bill tags: trunk
15:44
doc changes check-in: f0dacdf977 user: bill tags: trunk
05:17
fixes check-in: f5c87e831e user: bill tags: trunk
04:30
docs check-in: 7cdb377ba7 user: bill tags: trunk
04:28
changed lambdas back to simple var-body pairs, instead of taking a function; escaped var names check-in: 9d67014f10 user: bill tags: trunk
04:05
fixed compilation bugs, added memoization, started working on parser check-in: 631c62a7e4 user: bill tags: trunk
2012-03-19
14:57
printing and compiling with new LC-based structure check-in: 2123c15f8a user: bill tags: trunk
2012-03-18
06:08
notes check-in: 49ccfcfe64 user: bill tags: trunk
06:07
getting ready for self-hosting check-in: 3a53b7c1a5 user: bill tags: trunk
03:07
AST code and docs check-in: 8c8c88f6d7 user: bill tags: trunk
2012-03-17
22:55
changed AST to be LC-based (not cons-based) check-in: 5de740a47d user: bill tags: trunk
2012-03-16
14:40
fixed lc.js and lcvm.js so they would load in stricter browsers check-in: cba31deacb user: bill tags: trunk
2012-03-15
15:06
changes to support Lazp check-in: 15bb3f246c user: bill tags: trunk
03:23
pagedown branch Leaf check-in: 3792181c1a user: bill tags: pagedown
03:14
Create new branch named "pagedown" check-in: 2e490f02c3 user: bill tags: pagedown
03:13
changed to support node.js modules check-in: a29ab74885 user: bill tags: trunk
2012-01-09
14:24
changed definition of nil to use explicit lambda, instead of false check-in: 78cbffa39c user: bill tags: trunk
2011-12-21
10:52
better person record expln better list constructur expln check-in: 647446e14d user: bill tags: trunk
2011-12-12
00:30
fixed parser to allow unfinished groups added slides for list buffers, difference lists, and some details in extensible syntax check-in: feb536f321 user: bill tags: trunk
2011-12-07
15:07
fixed slides based on Shlomi's comments check-in: 296cbf459c user: bill tags: trunk
02:43
tweaks check-in: b281f9d74f user: bill tags: trunk
01:53
cleaned up list constructors check-in: c562cd4027 user: bill tags: trunk
01:29
changed print->alert and read->prompt removed val from io monad (now it just holds commands) added much more expln on monads to the talk added definition of list constructor functions check-in: 5ba8f3a355 user: bill tags: trunk
2011-12-06
23:50
added enums to slides fixed invaders to ignore alt-left added enum examples to slides check-in: 73f4c771a2 user: bill tags: trunk
02:47
added blurb check-in: af359989a6 user: bill tags: trunk
02:46
monad fixes, slide fixes check-in: 0547521394 user: bill tags: trunk
2011-12-05
01:06
added clarification in the doc check-in: dd2c65f83f user: bill tags: trunk
01:04
added a nested binding test check-in: 195efb4c2e user: bill tags: trunk
01:01
changed monad implementation to use difference lists check-in: 0686d2898d user: bill tags: trunk
2011-12-04
07:11
more expln check-in: eff3de1005 user: bill tags: trunk
07:07
added evaluator.js to repo check-in: 53604aec06 user: bill tags: trunk