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

2015-03-16	Chris	plexy	commit \| commitdiff \| tree
2015-03-15	Chris	exx	commit \| commitdiff \| tree
2015-03-14	Chris	exx	commit \| commitdiff \| tree
2015-03-14	Chris	exx	commit \| commitdiff \| tree
2015-03-14	Chris	moved files	commit \| commitdiff \| tree
2015-03-14	Chris	edits	commit \| commitdiff \| tree
2015-03-14	Chris	exx	commit \| commitdiff \| tree
2015-03-14	Chris	git is a pain	commit \| commitdiff \| tree
2015-03-14	Chris	edits	commit \| commitdiff \| tree
2015-03-14	Chris	publishing eval CL	commit \| commitdiff \| tree
2015-03-14	Chris	edits	commit \| commitdiff \| tree
2015-03-14	Chris	added complete substitution code	commit \| commitdiff \| tree
2015-03-14	Chris	edits	commit \| commitdiff \| tree
2015-03-14	Chris	edits	commit \| commitdiff \| tree
2015-03-14	Chris	edits	commit \| commitdiff \| tree
2015-03-14	Chris	exercises	commit \| commitdiff \| tree
2015-03-14	Chris	developing exx	commit \| commitdiff \| tree
2015-03-14	Chris	huh	commit \| commitdiff \| tree
2015-03-14	Chris	added reduction code	commit \| commitdiff \| tree
2015-03-14	Chris	added code	commit \| commitdiff \| tree
2015-03-14	Chris	ass 6	commit \| commitdiff \| tree
2015-03-14	Chris	move	commit \| commitdiff \| tree
2015-03-14	Chris	hw6	commit \| commitdiff \| tree
2015-03-14	Chris	edits	commit \| commitdiff \| tree
2015-03-12	Chris	edits	commit \| commitdiff \| tree
2015-03-12	Chris	added Wordsworth	commit \| commitdiff \| tree
2015-03-11	Chris	added exercise	commit \| commitdiff \| tree
2015-03-10	Chris	edits	commit \| commitdiff \| tree
2015-03-09	Chris	edits	commit \| commitdiff \| tree
2015-03-09	Chris	edits	commit \| commitdiff \| tree
2015-03-09	Chris	edits	commit \| commitdiff \| tree
2015-03-09	Chris	added a bit about principle types	commit \| commitdiff \| tree
2015-03-09	Chris	started exercises	commit \| commitdiff \| tree
2015-03-08	Chris	edits	commit \| commitdiff \| tree
2015-03-08	Chris	edits	commit \| commitdiff \| tree
2015-03-08	Chris	eval order CL	commit \| commitdiff \| tree
2015-03-01	Chris	merge working	commit \| commitdiff \| tree
2015-03-01	Chris	adjusted talk about and	commit \| commitdiff \| tree
2015-03-01	Chris	assignment5 live	commit \| commitdiff \| tree
2015-02-26	Chris	edits	commit \| commitdiff \| tree
2015-02-26	Chris	merge working	commit \| commitdiff \| tree
2015-02-26	Chris	edits	commit \| commitdiff \| tree
2015-02-26	Chris	edits	commit \| commitdiff \| tree
2015-02-26	Chris	edits	commit \| commitdiff \| tree
2015-02-25	Chris	edits	commit \| commitdiff \| tree
2015-02-25	Chris	Merge branch 'working'	commit \| commitdiff \| tree
2015-02-25	Chris	generalized conjunction	commit \| commitdiff \| tree
2015-02-24	Chris	merge	commit \| commitdiff \| tree
2015-02-24	Chris	assignment 5 draft	commit \| commitdiff \| tree
2015-02-24	Chris	edits	commit \| commitdiff \| tree
2015-02-24	Chris	merging edits	commit \| commitdiff \| tree
2015-02-24	Chris	edits	commit \| commitdiff \| tree
2015-02-24	Chris	edits	commit \| commitdiff \| tree
2015-02-24	Chris	pred in system F	commit \| commitdiff \| tree
2015-02-23	Chris	edits	commit \| commitdiff \| tree
2015-02-23	Chris	edits	commit \| commitdiff \| tree
2015-02-23	Chris	defined system f	commit \| commitdiff \| tree
2015-02-23	Chris	defined system f	commit \| commitdiff \| tree
2015-02-23	Chris	adjustments	commit \| commitdiff \| tree
2015-02-23	Chris	adjustments	commit \| commitdiff \| tree
2015-02-23	Chris	edits	commit \| commitdiff \| tree
2015-02-23	Chris	edits	commit \| commitdiff \| tree
2015-02-23	Chris	Merge branch 'working'	commit \| commitdiff \| tree
2015-02-23	Chris	edits in eval order	commit \| commitdiff \| tree
2015-02-23	Chris	incorporated	commit \| commitdiff \| tree
2015-02-23	Chris	edits	commit \| commitdiff \| tree
2015-02-23	Chris	added discussion of Montague's PTQ	commit \| commitdiff \| tree
2015-02-22	Chris	Added system F	commit \| commitdiff \| tree
2015-02-22	Chris	stupid git	commit \| commitdiff \| tree
2015-02-22	Chris	edits	commit \| commitdiff \| tree
2015-02-22	Chris	edits	commit \| commitdiff \| tree
2015-02-22	Chris	Merge branch 'master' of main.jimpryor.net:/srv/lambda...	commit \| commitdiff \| tree
2015-02-22	Chris	Merge branch 'working'	commit \| commitdiff \| tree
2015-02-22	Chris	why	commit \| commitdiff \| tree
2015-02-22	Chris	edits	commit \| commitdiff \| tree
2015-02-22	Chris	edits	commit \| commitdiff \| tree
2015-02-22	Chris	edits	commit \| commitdiff \| tree
2015-02-21	Chris	edits	commit \| commitdiff \| tree
2015-02-21	Chris	edits	commit \| commitdiff \| tree
2015-02-21	Chris	edits	commit \| commitdiff \| tree
2015-02-21	Chris	edits	commit \| commitdiff \| tree
2015-02-21	Chris	starting lecture on types	commit \| commitdiff \| tree
2015-02-21	Chris	typos	commit \| commitdiff \| tree
2015-02-21	Chris	re-solved the mutual recursion problem, just for fun...	commit \| commitdiff \| tree
2015-02-19	Chris	added exercises	commit \| commitdiff \| tree
2015-02-18	Chris	typos	commit \| commitdiff \| tree
2015-02-18	Chris	added draft of assignment4	commit \| commitdiff \| tree
2015-02-18	Chris	moved fixed point for succ to exercises	commit \| commitdiff \| tree
2015-02-17	Chris	typo	commit \| commitdiff \| tree
2015-02-17	Chris	the succ fixed point as arithmetic infinity	commit \| commitdiff \| tree
2015-02-17	Chris	edits	commit \| commitdiff \| tree
2015-02-17	Chris	edits for fixed-point	commit \| commitdiff \| tree
2015-02-17	Chris	replace get_length with length	commit \| commitdiff \| tree
2015-02-17	Chris	added disclaimer about revised lambda->CL map	commit \| commitdiff \| tree
2015-02-16	Chris	adjust	commit \| commitdiff \| tree
2015-02-16	Chris	switched the map from lambda to CL back to Barendregt's	commit \| commitdiff \| tree
2015-02-12	Chris	fixing computation discussion	commit \| commitdiff \| tree
2015-02-12	Chris	added discussion of computation	commit \| commitdiff \| tree
2015-02-12	Chris	move computation discussion live	commit \| commitdiff \| tree
2015-02-12	Chris	merged in new exercises for week 3	commit \| commitdiff \| tree
next

NYU Lambda Wiki v2

RSS Atom