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

2015-03-24	jim	post hidden stuff	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	T combinator	commit \| commitdiff \| tree
2015-03-24	Jim	update untyped_eval to 1.4	commit \| commitdiff \| tree
2015-03-24	jim	remove TODO	commit \| commitdiff \| tree
2015-03-24	jim	more results that aren't terms	commit \| commitdiff \| tree
2015-03-24	jim	expand about environments	commit \| commitdiff \| tree
2015-03-24	jim	add parentheses	commit \| commitdiff \| tree
2015-03-24	jim	tweak	commit \| commitdiff \| tree
2015-03-24	jim	inconsistent-->unsound	commit \| commitdiff \| tree
2015-03-24	jim	&equiv; means syntactic identity, not equivalence	commit \| commitdiff \| tree
2015-03-24	jim	whoops, tree_best_sofar (direct) had a bug	commit \| commitdiff \| tree
2015-03-24	jim	fix link	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	add toc	commit \| commitdiff \| tree
2015-03-24	jim	update link	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-24	jim	post/update links	commit \| commitdiff \| tree
2015-03-23	jim	formatting	commit \| commitdiff \| tree
2015-03-23	jim	post links	commit \| commitdiff \| tree
2015-03-23	jim	rename topics/_week7_interpreter_exposition.mdwn to...	commit \| commitdiff \| tree
2015-03-23	jim	edits	commit \| commitdiff \| tree
2015-03-23	jim	add #primed	commit \| commitdiff \| tree
2015-03-23	jim	edits?	commit \| commitdiff \| tree
2015-03-23	jim	add link to Closures	commit \| commitdiff \| tree
2015-03-23	jim	rename topics/week7__95__environments__95__and__95__closures...	commit \| commitdiff \| tree
2015-03-23	jim	update for rename of topics/closures.mdwn to topics...	commit \| commitdiff \| tree
2015-03-23	jim	rename topics/closures.mdwn to topics/week7__95__environment...	commit \| commitdiff \| tree
2015-03-23	jim	edits	commit \| commitdiff \| tree
2015-03-23	jim	extract closures discussion to separate page	commit \| commitdiff \| tree
2015-03-23	jim	create page	commit \| commitdiff \| tree
2015-03-23	jim	add more bold	commit \| commitdiff \| tree
2015-03-23	jim	add update note	commit \| commitdiff \| tree
2015-03-23	jim	add update note	commit \| commitdiff \| tree
2015-03-23	jim	add toc	commit \| commitdiff \| tree
2015-03-23	jim	tweak	commit \| commitdiff \| tree
2015-03-23	jim	add explanation of Closures	commit \| commitdiff \| tree
2015-03-23	jim	fix markup	commit \| commitdiff \| tree
2015-03-23	jim	fix markup	commit \| commitdiff \| tree
2015-03-23	jim	add #occurs_free	commit \| commitdiff \| tree
2015-03-23	jim	add #occurs_free	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	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
next

NYU Lambda Wiki v2

RSS Atom