Jim Pryor's git trees. - lambda.git/search

2015-03-24	Jim	update untyped_eval to 1.6	commit \| commitdiff \| tree
2015-03-24	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-24	Jim	update untyped_eval to 1.5	commit \| commitdiff \| tree
2015-03-24	Jim	update untyped_eval to 1.4	commit \| commitdiff \| tree
2015-03-24	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-24	Jim	symlink doesn't work	commit \| commitdiff \| tree
2015-03-24	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-24	Jim	update untyped code	commit \| commitdiff \| tree
2015-03-24	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-24	Jim	tweak untyped_evaluators, add symlink	commit \| commitdiff \| tree
2015-03-23	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-23	Jim	add V combinator to lambda_evaluator	commit \| commitdiff \| tree
2015-03-23	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-23	Jim	add code/interp-1.2.tgz	commit \| commitdiff \| tree
2015-03-23	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-23	Jim	untyped eval: tweaks	commit \| commitdiff \| tree
2015-03-23	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-23	Jim	untyped eval: V[12]-->V[AB]	commit \| commitdiff \| tree
2015-03-23	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-23	Jim	add some old code, let's review/update before publishing	commit \| commitdiff \| tree
2015-03-22	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-22	Jim	add faye_dunaway.jpg	commit \| commitdiff \| tree
2015-03-22	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-22	Jim	change env implementations to assoc list	commit \| commitdiff \| tree
2015-03-22	Jim	add monads_in_general for scratch	commit \| commitdiff \| tree
2015-03-22	Jim	add comments to untyped_evals again	commit \| commitdiff \| tree
2015-03-22	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-22	Jim	add comments to untyped_evals	commit \| commitdiff \| tree
2015-03-20	Jim	whoops	commit \| commitdiff \| tree
2015-03-20	Jim	update homework	commit \| commitdiff \| tree
2015-03-20	Jim	provide gappy untyped_evaluator.ml	commit \| commitdiff \| tree
2015-03-20	Jim	refine untyped_evaluator	commit \| commitdiff \| tree
2015-03-20	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-20	Jim	provide simplified untyped_evaluator (complete version)	commit \| commitdiff \| tree
2015-03-19	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-19	Jim	update code	commit \| commitdiff \| tree
2015-03-19	Jim	update css	commit \| commitdiff \| tree
2015-03-19	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-19	Jim	update css	commit \| commitdiff \| tree
2015-03-19	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-19	Jim	update css	commit \| commitdiff \| tree
2015-03-19	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-19	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-19	Jim	update css	commit \| commitdiff \| tree
2015-03-19	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-19	Jim	update css	commit \| commitdiff \| tree
2015-03-19	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-19	Jim	update css	commit \| commitdiff \| tree
2015-03-19	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-19	Jim	experimenting css	commit \| commitdiff \| tree
2015-03-19	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-19	Jim	more local.css updates	commit \| commitdiff \| tree
2015-03-19	Jim	update local.css	commit \| commitdiff \| tree
2015-03-19	Jim	update local.css	commit \| commitdiff \| tree
2015-03-19	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-03-19	Jim	add .double to local.css	commit \| commitdiff \| tree
2015-03-19	Jim	update ski_evaluators	commit \| commitdiff \| tree
2015-03-19	Jim	Merge branch 'master' into working	commit \| commitdiff \| tree
2015-03-19	Jim	remove extraneous code file	commit \| commitdiff \| tree
2015-03-19	Jim	remove extraneous code file	commit \| commitdiff \| tree
2015-03-03	Jim	add King readings	commit \| commitdiff \| tree
2015-03-03	Jim	add readings	commit \| commitdiff \| tree
2015-02-21	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-02-21	Jim	replace tattoo image	commit \| commitdiff \| tree
2015-02-20	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-02-20	Jim	tweak comment	commit \| commitdiff \| tree
2015-02-20	Jim	push (old version of) q&a on fixed points	commit \| commitdiff \| tree
2015-02-19	Jim	add some images	commit \| commitdiff \| tree
2015-02-12	Jim	combinatory tweaks and formatting	commit \| commitdiff \| tree
2015-02-12	Jim	combinatory tweaks and formatting	commit \| commitdiff \| tree
2015-02-12	Jim	combinatory tweaks and formatting	commit \| commitdiff \| tree
2015-02-12	Jim	combinatory tweaks and formatting	commit \| commitdiff \| tree
2015-02-12	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-02-12	Jim	tweak combinatory	commit \| commitdiff \| tree
2015-02-12	Jim	tweak combinatory	commit \| commitdiff \| tree
2015-02-12	Jim	->combinatory	commit \| commitdiff \| tree
2015-02-12	Jim	chomp more whitespace	commit \| commitdiff \| tree
2015-02-12	Jim	chomp whitespace	commit \| commitdiff \| tree
2015-02-10	Jim	Merge branch 'master' into working	commit \| commitdiff \| tree
2015-02-10	Jim	add eval_order (raw)	commit \| commitdiff \| tree
2015-02-10	Jim	Merge branch 'master' into working	commit \| commitdiff \| tree
2015-02-09	Jim	expand assignment3	commit \| commitdiff \| tree
2015-02-09	Jim	move images to images/	commit \| commitdiff \| tree
2015-02-08	Jim	push assignment2	commit \| commitdiff \| tree
2015-02-08	Jim	refine hidden assignment2	commit \| commitdiff \| tree
2015-02-08	Jim	refine hidden assignment2	commit \| commitdiff \| tree
2015-02-08	Jim	refine hidden assignment2	commit \| commitdiff \| tree
2015-02-08	Jim	push hidden assignment2	commit \| commitdiff \| tree
2015-02-08	Jim	curried_flip etc	commit \| commitdiff \| tree
2015-02-07	Jim	push encodings (unfinished)	commit \| commitdiff \| tree
2015-02-07	Jim	tweaks, thanks Kyle for feedback	commit \| commitdiff \| tree
2015-02-07	Jim	Merge branch 'master' into working	commit \| commitdiff \| tree
2015-02-07	Jim	add _lambda_encodings	commit \| commitdiff \| tree
2015-02-07	Jim	add _lambda_encodings	commit \| commitdiff \| tree
2015-02-07	Jim	tweak links	commit \| commitdiff \| tree
2015-02-07	Jim	refine week2 notes part1	commit \| commitdiff \| tree
2015-02-07	Jim	add randj.jpg	commit \| commitdiff \| tree
2015-02-05	Jim	try adding lambda evaluator	commit \| commitdiff \| tree
2015-02-05	Jim	Merge branch 'master' into working	commit \| commitdiff \| tree
2015-02-04	Jim	Merge branch 'master' into working	commit \| commitdiff \| tree
next

NYU Lambda Wiki v2

RSS Atom