Lambda Calculus
Timeline
Not logged in

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

50 check-ins occurring on or before 2012-01-04 07:45:31.

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-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)
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
13:43
[892c993d21] fixed comparisons in lcvm    fixed context printing to handle circularity (user: bill tags: trunk)
2011-07-16
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)
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)
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)
15:37
[5b885f02d2] more cleanup (user: bill tags: trunk)
15:30
[dff44071fb] more tweaks (user: bill tags: trunk)
15:25
[da588a7a6a] slide tweak (user: bill tags: trunk)
14:11
[389cf5e54a] slide fixes (user: bill tags: trunk)
2011-07-06
18:57
[af459dafcb] clarified control structures (user: bill tags: trunk)
18:49
[eec1628ef0] clarified syntax better (I think) (user: bill tags: trunk)
18:35
[93501c1635] clarified cons some more (user: bill tags: trunk)
17:25
[1de85b4be8] emphasis in slides (user: bill tags: trunk)
17:03
[0bd1d24abd] tweaks (user: bill tags: trunk)
16:51
[ce0b985e7e] slide changes (user: bill tags: trunk)
2011-07-05
22:29
[43adbda251] added link to Seq (user: bill tags: trunk)
22:25
[fcba0d3a56] more slide tweakage (user: bill tags: trunk)
22:17
[d5b90ad993] slide fixes (user: bill tags: trunk)