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

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
2015-03-20	jim	expanding	commit \| commitdiff \| tree
2015-03-20	jim	= to ==	commit \| commitdiff \| tree
2015-03-20	jim	refine Cat Theory notes	commit \| commitdiff \| tree
2015-03-20	jim	various edits, including Cat Theory	commit \| commitdiff \| tree
2015-03-20	jim	markup	commit \| commitdiff \| tree
2015-03-20	jim	expand Mappable Laws	commit \| commitdiff \| tree
2015-03-19	jim	ambiguous "identify"	commit \| commitdiff \| tree
2015-03-19	jim	Clean up examples, stick more consistently to typing...	commit \| commitdiff \| tree
2015-03-19	jim	argh... Haskell vs OCaml	commit \| commitdiff \| tree
2015-03-19	jim	fix formatting of `1`	commit \| commitdiff \| tree
2015-03-19	jim	explain mappable laws better	commit \| commitdiff \| tree
2015-03-19	jim	add mappable laws	commit \| commitdiff \| tree
2015-03-19	jim	fix type	commit \| commitdiff \| tree
2015-03-19	jim	express hesitation about flipped names	commit \| commitdiff \| tree
2015-03-19	jim	fix "arrow"	commit \| commitdiff \| tree
2015-03-19	jim	correction	commit \| commitdiff \| tree
2015-03-19	jim	tweak category theory blurb	commit \| commitdiff \| tree
2015-03-19	jim	tweak	commit \| commitdiff \| tree
2015-03-19	jim	formatting	commit \| commitdiff \| tree
2015-03-19	jim	add links to category theory	commit \| commitdiff \| tree
2015-03-19	jim	post homework7, with promises	commit \| commitdiff \| tree
2015-03-19	jim	post homework7, with promises	commit \| commitdiff \| tree
2015-03-19	jim	lowercase monad	commit \| commitdiff \| tree
2015-03-19	jim	updates, ready to post with promises	commit \| commitdiff \| tree
next

NYU Lambda Wiki v2

RSS Atom