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

2015-03-23	jim	add #occurs_free	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	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	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	(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-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	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	chris	(no commit message)	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
next

NYU Lambda Wiki v2

RSS Atom