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

2015-03-19	jim	fix join's type	commit \| commitdiff \| tree
2015-03-19	jim	ok	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	(no commit message)	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	(no commit message)	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	(no commit message)	commit \| commitdiff \| tree
2015-03-19	jim	(no commit message)	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	edits, still has some TODOs	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	wip	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	some edits	commit \| commitdiff \| tree
2015-03-19	jim	tweak	commit \| commitdiff \| tree
2015-03-19	jim	post Monads	commit \| commitdiff \| tree
2015-03-19	jim	post Introducing Monads	commit \| commitdiff \| tree
2015-03-19	jim	rename topics/week7_monads.mdwn to topics/week7_introducing_...	commit \| commitdiff \| tree
2015-03-19	jim	fix markup, typo	commit \| commitdiff \| tree
2015-03-19	jim	update, add safe division	commit \| commitdiff \| tree
2015-03-19	jim	update	commit \| commitdiff \| tree
2015-03-19	jim	removed	commit \| commitdiff \| tree
2015-03-19	jim	rename topics/_week7_monads.mdwn to topics/week7_monads...	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	rename topics/week7__95__combinatory__95__evaluator...	commit \| commitdiff \| tree
2015-03-19	jim	light editing, rename functions for clarity	commit \| commitdiff \| tree
2015-03-19	jim	rename topics/week7_eval_combinatory.mdwn to topics...	commit \| commitdiff \| tree
2015-03-19	jim	rename eval_combinatory	commit \| commitdiff \| tree
2015-03-19	jim	post combinatory evaluator	commit \| commitdiff \| tree
2015-03-19	jim	post eval_combinatory	commit \| commitdiff \| tree
2015-03-19	jim	rename topics/week7_eval_cl.mdwn to topics/week7_eval_combin...	commit \| commitdiff \| tree
2015-03-19	jim	add Plexy and some stubs/reorganization	commit \| commitdiff \| tree
2015-03-19	jim	link to Plexy	commit \| commitdiff \| tree
2015-03-19	jim	rename topics/_week6_plexy.mdwn to topics/week6_plexy...	commit \| commitdiff \| tree
2015-03-19	jim	update	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-19	jim	create page	commit \| commitdiff \| tree
2015-03-08	jim	simplify Haskell	commit \| commitdiff \| tree
2015-03-08	jim	add comments about Haskell	commit \| commitdiff \| tree
2015-03-08	jim	tweak explanation	commit \| commitdiff \| tree
2015-03-08	jim	add more about numbers	commit \| commitdiff \| tree
2015-03-08	jim	create page	commit \| commitdiff \| tree
2015-03-08	jim	renumber yet again, please stick	commit \| commitdiff \| tree
2015-03-08	jim	renumber hint again	commit \| commitdiff \| tree
2015-03-08	jim	renumber hint	commit \| commitdiff \| tree
2015-03-08	jim	cancel the System F lists -> OCaml	commit \| commitdiff \| tree
2015-03-05	jim	fix markup	commit \| commitdiff \| tree
2015-03-04	jim	reword problem	commit \| commitdiff \| tree
2015-03-04	jim	add hint for tree enumeration	commit \| commitdiff \| tree
2015-03-04	jim	create page	commit \| commitdiff \| tree
2015-03-04	jim	boldface brief intro and promote	commit \| commitdiff \| tree
2015-03-04	jim	boldface two intro docs, reorganize	commit \| commitdiff \| tree
2015-03-03	jim	post King readings	commit \| commitdiff \| tree
2015-03-03	jim	typo	commit \| commitdiff \| tree
2015-03-03	jim	post King readings, reorganize	commit \| commitdiff \| tree
2015-03-03	Jim	add King readings	commit \| commitdiff \| tree
2015-03-03	jim	typo	commit \| commitdiff \| tree
2015-03-03	jim	post readings	commit \| commitdiff \| tree
2015-03-03	jim	post readings	commit \| commitdiff \| tree
2015-03-03	Jim	add readings	commit \| commitdiff \| tree
2015-03-02	jim	release existing versions	commit \| commitdiff \| tree
2015-03-02	jim	release existing versions, I'm taking too long	commit \| commitdiff \| tree
2015-03-02	jim	rename topics/_week5_simply_typed_lambda.mdwn to topics...	commit \| commitdiff \| tree
2015-03-02	jim	rename topics/_week5_system_F.mdwn to topics/week5_system_F...	commit \| commitdiff \| tree
2015-03-01	jim	posted link to homework	commit \| commitdiff \| tree
2015-03-01	jim	posted stubs	commit \| commitdiff \| tree
2015-03-01	jim	tweak types for list encoding	commit \| commitdiff \| tree
2015-03-01	jim	more precise Pierce link	commit \| commitdiff \| tree
2015-03-01	jim	link to hint	commit \| commitdiff \| tree
2015-03-01	jim	create page	commit \| commitdiff \| tree
2015-03-01	jim	create page	commit \| commitdiff \| tree
2015-03-01	jim	ready to go?	commit \| commitdiff \| tree
2015-03-01	jim	almost done	commit \| commitdiff \| tree
2015-03-01	jim	revisions	commit \| commitdiff \| tree
2015-03-01	jim	work in progress	commit \| commitdiff \| tree
2015-03-01	jim	pred attribution	commit \| commitdiff \| tree
2015-02-25	jim	add note about Pierce	commit \| commitdiff \| tree
2015-02-25	jim	wording	commit \| commitdiff \| tree
2015-02-24	jim	probably most efficient	commit \| commitdiff \| tree
2015-02-24	jim	third solution for left_head	commit \| commitdiff \| tree
2015-02-24	jim	tweak explanation of Bunder/Urbanek pred	commit \| commitdiff \| tree
2015-02-24	jim	add comment	commit \| commitdiff \| tree
2015-02-24	jim	posted week3-evaluation order	commit \| commitdiff \| tree
next

NYU Lambda Wiki v2

RSS Atom