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

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	fix link	commit \| commitdiff \| tree
2015-03-23	jim	update note	commit \| commitdiff \| tree
2015-03-23	jim	update note	commit \| commitdiff \| tree
2015-03-23	jim	typo	commit \| commitdiff \| tree
2015-03-23	jim	markup	commit \| commitdiff \| tree
2015-03-23	jim	formating	commit \| commitdiff \| tree
2015-03-23	jim	use arrow for mid	commit \| commitdiff \| tree
2015-03-23	jim	use arrow for mid	commit \| commitdiff \| tree
2015-03-23	jim	remove spaces after applications of mid	commit \| commitdiff \| tree
2015-03-23	jim	change m$ to ¢	commit \| commitdiff \| tree
2015-03-23	jim	change mid to double up arrow U+2e17	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-23	jim	again with the markup	commit \| commitdiff \| tree
2015-03-23	jim	markup	commit \| commitdiff \| tree
2015-03-23	jim	post safe division, rename/reorg a bit	commit \| commitdiff \| tree
2015-03-23	jim	link to safe division	commit \| commitdiff \| tree
2015-03-23	jim	rename topics/week8_safe_division_with_Monads.mdwn...	commit \| commitdiff \| tree
2015-03-23	jim	rename topics/_week8_using_monads.mdwn to topics/week8_safe_...	commit \| commitdiff \| tree
2015-03-23	jim	polish	commit \| commitdiff \| tree
2015-03-23	jim	move do-notation links	commit \| commitdiff \| tree
2015-03-23	jim	explain comments	commit \| commitdiff \| tree
2015-03-22	jim	move link	commit \| commitdiff \| tree
2015-03-22	jim	They're sets of worlds AND they're CCPs... Understand...	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	explain "cohere"	commit \| commitdiff \| tree
2015-03-22	jim	formatting	commit \| commitdiff \| tree
2015-03-22	jim	add Monads made hard link to Category Theory links	commit \| commitdiff \| tree
2015-03-22	jim	extra line	commit \| commitdiff \| tree
2015-03-22	jim	tweak List.>>= explanation	commit \| commitdiff \| tree
2015-03-22	jim	tweak diagram	commit \| commitdiff \| tree
2015-03-22	jim	refinements, diagrams	commit \| commitdiff \| tree
2015-03-22	jim	More explicitness	commit \| commitdiff \| tree
2015-03-22	jim	reorganize	commit \| commitdiff \| tree
2015-03-22	jim	formatting	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	(no commit message)	commit \| commitdiff \| tree
2015-03-22	jim	removed	commit \| commitdiff \| tree
2015-03-22	jim	tweaks	commit \| commitdiff \| tree
2015-03-22	jim	add addl reading section	commit \| commitdiff \| tree
2015-03-22	jim	more refinements	commit \| commitdiff \| tree
2015-03-22	jim	some refinements	commit \| commitdiff \| tree
2015-03-22	jim	some refinements	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-21	jim	tweaks	commit \| commitdiff \| tree
2015-03-21	jim	removed	commit \| commitdiff \| tree
2015-03-21	jim	post week4 answers	commit \| commitdiff \| tree
2015-03-21	jim	post week4 answers	commit \| commitdiff \| tree
2015-03-21	jim	finish	commit \| commitdiff \| tree
2015-03-21	jim	add set_equal?	commit \| commitdiff \| tree
2015-03-21	jim	most answers done	commit \| commitdiff \| tree
2015-03-21	jim	removed	commit \| commitdiff \| tree
2015-03-21	jim	create page	commit \| commitdiff \| tree
2015-03-21	jim	remove Safe division	commit \| commitdiff \| tree
2015-03-21	jim	warning about mu, some tweaks	commit \| commitdiff \| tree
2015-03-21	jim	fix type of sysf_iszero, add sysf_pred	commit \| commitdiff \| tree
2015-03-21	jim	remove "posted late" notice	commit \| commitdiff \| tree
2015-03-21	jim	remove/update some "coming soon" notices	commit \| commitdiff \| tree
2015-03-21	jim	remove "coming soon" notices	commit \| commitdiff \| tree
2015-03-21	jim	link to week 5 answers	commit \| commitdiff \| tree
2015-03-21	jim	link to week 5 answers	commit \| commitdiff \| tree
2015-03-21	jim	Explain why blackhole and blackhole () can have the...	commit \| commitdiff \| tree
2015-03-21	jim	expand about eval order	commit \| commitdiff \| tree
2015-03-21	jim	fix explanation of rejected types	commit \| commitdiff \| tree
2015-03-21	jim	replace deleted line	commit \| commitdiff \| tree
2015-03-21	jim	replace deleted line	commit \| commitdiff \| tree
2015-03-21	jim	tweak	commit \| commitdiff \| tree
2015-03-21	jim	fix System F booleans	commit \| commitdiff \| tree
2015-03-21	jim	spelling	commit \| commitdiff \| tree
2015-03-21	jim	markup	commit \| commitdiff \| tree
2015-03-21	jim	tweak	commit \| commitdiff \| tree
2015-03-21	jim	add some more	commit \| commitdiff \| tree
2015-03-21	jim	add some stuff	commit \| commitdiff \| tree
2015-03-21	jim	more answers	commit \| commitdiff \| tree
2015-03-21	jim	add some more	commit \| commitdiff \| tree
2015-03-21	jim	add some answers	commit \| commitdiff \| tree
2015-03-21	jim	add hints	commit \| commitdiff \| tree
2015-03-21	jim	create page	commit \| commitdiff \| tree
2015-03-21	jim	create page	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-20	jim	spoke too soon, added examples of failures	commit \| commitdiff \| tree
2015-03-20	jim	mark that Monad page is updated	commit \| commitdiff \| tree
2015-03-20	jim	mark that Monad page is updated	commit \| commitdiff \| tree
2015-03-20	jim	tweaks	commit \| commitdiff \| tree
2015-03-20	jim	last tweaks to monad page for now	commit \| commitdiff \| tree
2015-03-20	jim	restore Chris's double boxes	commit \| commitdiff \| tree
2015-03-20	jim	refinements	commit \| commitdiff \| tree
2015-03-20	jim	refine	commit \| commitdiff \| tree
next

NYU Lambda Wiki v2

RSS Atom