Lambda Calculus
Timeline
Not logged in

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

50 most recent timeline items

2012-04-26
15:41 • Changes to wiki page Lambda Calculus (user: bill)
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
21:05 • Changes to wiki page Lambda Calculus (user: zot)
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:55 • Changes to wiki page Lambda Calculus (user: zot)
15:54 • Changes to wiki page Lambda Calculus (user: zot)
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)
15:21 • Changes to wiki page Lambda Calculus (user: zot)
15:11 • Changes to wiki page Lambda Calculus (user: zot)
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)
03:04 • Changes to wiki page Lambda Calculus (user: bill)
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)
14:36 • Changes to wiki page Lambda Calculus (user: zot)
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-02-13
19:04 • Changes to wiki page Lambda Calculus (user: zot)
2012-01-09
14:24
[78cbffa39c] changed definition of nil to use explicit lambda, instead of false (user: bill, tags: trunk)
2012-01-04
23:11 • Changes to wiki page Lambda Calculus (user: bill)
08:05 • Deleted wiki page Lambda Calculator (user: bill)
08:03 • Changes to wiki page Lambda Calculus (user: bill)
07:59 • Changes to wiki page Lambda Calculator (user: bill)
07:45 • Changes to wiki page Lambda Calculator (user: bill)