Lambda Calculus
Timeline
Not logged in

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

50 timeline items occurring on or before 2012-01-04 07:45:31.

2012-01-04
07:45 • Changes to wiki page Lambda Calculator (user: bill)
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)
07:05
[76a965e2a8] Relatively complete IO Monad. (user: bill, tags: trunk)
06:36
[eb035852d9] better pretty printing for monads. (user: bill, tags: trunk)
06:24
[70943f4c38] io monad works (user: bill, tags: trunk)
05:39
[6137952dae] working on IO monad (user: bill, tags: trunk)
2011-10-25
05:40
[573f790490] changed unbound variable representation to strings and numbers (user: bill, tags: trunk)
05:34
[231a7da4f8] return first arg in plus() (user: bill, tags: trunk)
05:27
[a815fe0f90] adding more primitive support (user: bill, tags: trunk)
2011-08-11
15:25 • Changes to wiki page Lambda Calculator (user: bill)
2011-07-26
16:51
[8e3eeea369] support for primitives in compiler and VM (user: bill, tags: trunk)
2011-07-21
20:19
[1cd1e14d7d] added LLVM button to results    started adding primitive support in JS    started first working LLVM codegen (earlier code was really just notes)    fixed some context printing bugs (user: bill, tags: trunk)
19:43 • Changes to wiki page Lambda Calculator (user: bill)
2011-07-19
18:11
[7a3b3a82c6] cleaned up lcvm a bit and fixed context printing err (user: bill, tags: trunk)
17:50
[547752fff2] better context printing (user: bill, tags: trunk)
2011-07-18
14:08 • Changes to wiki page Lambda Calculator (user: bill)
13:43
[892c993d21] fixed comparisons in lcvm    fixed context printing to handle circularity (user: bill, tags: trunk)
2011-07-16
22:59 • Changes to wiki page Notes (user: bill)
22:59 • Changes to wiki page Notes (user: bill)
22:57 • Changes to wiki page Notes (user: bill)
21:40 • Changes to wiki page Notes (user: bill)
21:37 • Changes to wiki page Lambda Calculator (user: bill)
19:45
[a2970abcdd] added toString to context array    fixes for test cases 3-5    made context types: lambda, apply, free var    better context printing (user: bill, tags: trunk)
2011-07-15
21:15
[5797963fc9] printing VM contexts (user: bill, tags: trunk)
14:14
[2e41de8fc1] fixed globalSub    fixed expr naming    added names to VM contexts for and identification    temporarily removed tail optimization for debugging    fixed VM code printing in evaluator    added "pretty" switch to evaluator    added comment on recursion to slides (user: bill, tags: trunk)
2011-07-10
00:44
[253a475c8a] added TODO file (user: bill, tags: trunk)
00:43 • Changes to wiki page Lambda Calculator (user: bill)
00:43 • Changes to wiki page Lambda Calculator (user: bill)
00:42 • Changes to wiki page Lambda Calculator (user: bill)
2011-07-09
23:47
[7bfce0cb0a] added '|' definition for lists so you can say [1,2|list], like in Prolog (user: bill, tags: trunk)
23:12
[be4052badd] new list builder definitions (user: bill, tags: trunk)
2011-07-08
16:55
[69124a60ba] added copyright and license to lcvm.js (user: bill, tags: trunk)
03:54 • Changes to wiki page Lambda Calculator (user: bill)
2011-07-07
17:37
[ab69c23be8] more clarifications (user: bill, tags: trunk)
17:07
[cbddef47e6] clarified section on generators (user: bill, tags: trunk)
16:44
[e586299dcd] format improvements (user: bill, tags: trunk)
15:39
[d326f4c945] tweakage (user: bill, tags: trunk)