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