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

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
2015-02-24	jim	post week3-evaluation order	commit \| commitdiff \| tree
2015-02-24	jim	rename topics/_week3_eval_order.mdwn to topics/week3_evaluat...	commit \| commitdiff \| tree
2015-02-24	jim	cleanup	commit \| commitdiff \| tree
2015-02-23	jim	typos	commit \| commitdiff \| tree
2015-02-23	jim	add note about generalization	commit \| commitdiff \| tree
2015-02-23	jim	add note about generalization	commit \| commitdiff \| tree
2015-02-23	jim	delete cruft	commit \| commitdiff \| tree
2015-02-23	jim	post answers	commit \| commitdiff \| tree
2015-02-23	jim	post week 3 answers	commit \| commitdiff \| tree
2015-02-23	jim	fix link	commit \| commitdiff \| tree
2015-02-23	jim	add <a id=flipped-cons>	commit \| commitdiff \| tree
2015-02-23	jim	create page	commit \| commitdiff \| tree
2015-02-23	jim	add <a id=cps-reverse>	commit \| commitdiff \| tree
2015-02-23	jim	not WIP	commit \| commitdiff \| tree
2015-02-23	jim	tweak	commit \| commitdiff \| tree
2015-02-23	jim	note on Little Schemer Ch. 8	commit \| commitdiff \| tree
2015-02-23	jim	More comments on The Little Schemer, non-total functions	commit \| commitdiff \| tree
2015-02-23	jim	fix link	commit \| commitdiff \| tree
2015-02-23	jim	add Q comparing our exposition to The Little Schemer's	commit \| commitdiff \| tree
2015-02-23	jim	add <a id=little-h>	commit \| commitdiff \| tree
2015-02-23	jim	The Little Schemer's eternity	commit \| commitdiff \| tree
2015-02-23	jim	add comment about The Little Schemer	commit \| commitdiff \| tree
2015-02-23	jim	add note about The Little Schemer	commit \| commitdiff \| tree
2015-02-23	jim	add comment about The Little Schemer	commit \| commitdiff \| tree
2015-02-23	jim	formatting	commit \| commitdiff \| tree
2015-02-23	jim	add comments about The Little Schemer	commit \| commitdiff \| tree
2015-02-22	jim	formatting	commit \| commitdiff \| tree
2015-02-22	jim	add suggestion about leaf? function	commit \| commitdiff \| tree
2015-02-22	jim	tweaks	commit \| commitdiff \| tree
2015-02-22	jim	missing paren	commit \| commitdiff \| tree
2015-02-22	jim	add paragraph about Little Schemer	commit \| commitdiff \| tree
2015-02-22	jim	tweaks	commit \| commitdiff \| tree
2015-02-22	jim	add explanatory paragraph	commit \| commitdiff \| tree
2015-02-22	jim	clean up last Q&A	commit \| commitdiff \| tree
2015-02-22	jim	add head to list functions	commit \| commitdiff \| tree
2015-02-21	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-02-21	Jim	replace tattoo image	commit \| commitdiff \| tree
2015-02-21	jim	fix some markup	commit \| commitdiff \| tree
2015-02-20	jim	post homework4	commit \| commitdiff \| tree
2015-02-20	jim	post homework4	commit \| commitdiff \| tree
2015-02-20	jim	rename exercises/_assignment4.mdwn to exercises/assignment4...	commit \| commitdiff \| tree
2015-02-20	jim	post tree questions	commit \| commitdiff \| tree
2015-02-20	jim	tweak	commit \| commitdiff \| tree
2015-02-20	jim	create page	commit \| commitdiff \| tree
2015-02-20	jim	add link to hint	commit \| commitdiff \| tree
2015-02-20	jim	revised inf arithmetic question again, like to ordinals...	commit \| commitdiff \| tree
2015-02-20	jim	remind about section shorthand	commit \| commitdiff \| tree
2015-02-20	jim	markup	commit \| commitdiff \| tree
2015-02-20	jim	tweak inf arithmetic comment	commit \| commitdiff \| tree
2015-02-20	jim	unfortunately, the infinite arithmetic question's arguments...	commit \| commitdiff \| tree
2015-02-20	jim	caps	commit \| commitdiff \| tree
2015-02-20	jim	add more list functions to set question	commit \| commitdiff \| tree
2015-02-20	jim	need empty? for set questions	commit \| commitdiff \| tree
2015-02-20	jim	update links	commit \| commitdiff \| tree
2015-02-20	jim	add anchor #deriving-y	commit \| commitdiff \| tree
2015-02-20	jim	markup	commit \| commitdiff \| tree
2015-02-20	jim	add chris's YY question, further refinements elsewhere	commit \| commitdiff \| tree
2015-02-20	jim	update some functions	commit \| commitdiff \| tree
2015-02-20	jim	more cleanup	commit \| commitdiff \| tree
2015-02-20	jim	some cleanup, add set question	commit \| commitdiff \| tree
2015-02-20	Jim	Merge branch 'working'	commit \| commitdiff \| tree
2015-02-20	jim	posted more about... for week 4	commit \| commitdiff \| tree
2015-02-20	jim	posted more about... for week 4	commit \| commitdiff \| tree
2015-02-20	jim	rename topics/week4_more_fixed_points.mdwn to topics...	commit \| commitdiff \| tree
2015-02-20	jim	cleanup	commit \| commitdiff \| tree
next

NYU Lambda Wiki v2

RSS Atom