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
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
07:05
Relatively complete IO Monad. check-in: 76a965e2a8 user: bill tags: trunk
06:36
better pretty printing for monads. check-in: eb035852d9 user: bill tags: trunk
06:24
io monad works check-in: 70943f4c38 user: bill tags: trunk
05:39
working on IO monad check-in: 6137952dae user: bill tags: trunk
2011-10-25
05:40
changed unbound variable representation to strings and numbers check-in: 573f790490 user: bill tags: trunk
05:34
return first arg in plus() check-in: 231a7da4f8 user: bill tags: trunk
05:27
adding more primitive support check-in: a815fe0f90 user: bill tags: trunk
2011-07-26
16:51
support for primitives in compiler and VM check-in: 8e3eeea369 user: bill tags: trunk
2011-07-21
20:19
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 check-in: 1cd1e14d7d user: bill tags: trunk

2011-07-19
18:11
cleaned up lcvm a bit and fixed context printing err check-in: 7a3b3a82c6 user: bill tags: trunk
17:50
better context printing check-in: 547752fff2 user: bill tags: trunk
2011-07-18
13:43
fixed comparisons in lcvm

fixed context printing to handle circularity check-in: 892c993d21 user: bill tags: trunk

2011-07-16
19:45
added toString to context array

fixes for test cases 3-5

made context types: lambda, apply, free var

better context printing check-in: a2970abcdd user: bill tags: trunk

2011-07-15
21:15
printing VM contexts check-in: 5797963fc9 user: bill tags: trunk
14:14
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 check-in: 2e41de8fc1 user: bill tags: trunk

2011-07-10
00:44
added TODO file check-in: 253a475c8a user: bill tags: trunk
2011-07-09
23:47
added '|' definition for lists so you can say [1,2|list], like in Prolog check-in: 7bfce0cb0a user: bill tags: trunk
23:12
new list builder definitions check-in: be4052badd user: bill tags: trunk
2011-07-08
16:55
added copyright and license to lcvm.js check-in: 69124a60ba user: bill tags: trunk
2011-07-07
17:37
more clarifications check-in: ab69c23be8 user: bill tags: trunk
17:07
clarified section on generators check-in: cbddef47e6 user: bill tags: trunk
16:44
format improvements check-in: e586299dcd user: bill tags: trunk
15:39
tweakage check-in: d326f4c945 user: bill tags: trunk
15:37
more cleanup check-in: 5b885f02d2 user: bill tags: trunk
15:30
more tweaks check-in: dff44071fb user: bill tags: trunk
15:25
slide tweak check-in: da588a7a6a user: bill tags: trunk
14:11
slide fixes check-in: 389cf5e54a user: bill tags: trunk
2011-07-06
18:57
clarified control structures check-in: af459dafcb user: bill tags: trunk
18:49
clarified syntax better (I think) check-in: eec1628ef0 user: bill tags: trunk
18:35
clarified cons some more check-in: 93501c1635 user: bill tags: trunk
17:25
emphasis in slides check-in: 1de85b4be8 user: bill tags: trunk
17:03
tweaks check-in: 0bd1d24abd user: bill tags: trunk
16:51
slide changes check-in: ce0b985e7e user: bill tags: trunk
2011-07-05
22:29
added link to Seq check-in: 43adbda251 user: bill tags: trunk
22:25
more slide tweakage check-in: fcba0d3a56 user: bill tags: trunk
22:17
slide fixes check-in: d5b90ad993 user: bill tags: trunk