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

2015-02-08	jim	add explanatory note	commit \| commitdiff \| tree
2015-02-08	jim	tweak	commit \| commitdiff \| tree
2015-02-08	jim	tweak	commit \| commitdiff \| tree
2015-02-08	jim	tweak	commit \| commitdiff \| tree
2015-02-08	jim	uncurry f for Kapulet	commit \| commitdiff \| tree
2015-02-08	jim	tweak hint	commit \| commitdiff \| tree
2015-02-08	jim	tweak assignment	commit \| commitdiff \| tree
2015-02-08	jim	fix link to hint	commit \| commitdiff \| tree
2015-02-08	Jim	push assignment2	commit \| commitdiff \| tree
2015-02-08	jim	fix markup	commit \| commitdiff \| tree
2015-02-08	jim	add Church encodings	commit \| commitdiff \| tree
2015-02-08	Jim	refine hidden assignment2	commit \| commitdiff \| tree
2015-02-08	Jim	refine hidden assignment2	commit \| commitdiff \| tree
2015-02-08	Jim	refine hidden assignment2	commit \| commitdiff \| tree
2015-02-08	Jim	push hidden assignment2	commit \| commitdiff \| tree
2015-02-08	jim	tweak	commit \| commitdiff \| tree
2015-02-08	Jim	curried_flip etc	commit \| commitdiff \| tree
2015-02-07	jim	tweaks	commit \| commitdiff \| tree
2015-02-07	jim	tweak final note	commit \| commitdiff \| tree
2015-02-07	jim	final note	commit \| commitdiff \| tree
2015-02-07	jim	encodings done	commit \| commitdiff \| tree
2015-02-07	jim	encodings done	commit \| commitdiff \| tree
2015-02-07	jim	add numbers	commit \| commitdiff \| tree
2015-02-07	jim	bug fixes	commit \| commitdiff \| tree
2015-02-07	Jim	push encodings (unfinished)	commit \| commitdiff \| tree
2015-02-07	Jim	tweaks, thanks Kyle for feedback	commit \| commitdiff \| tree
2015-02-07	Jim	Merge branch 'master' into working	commit \| commitdiff \| tree
2015-02-07	Jim	add _lambda_encodings	commit \| commitdiff \| tree
2015-02-07	Jim	add _lambda_encodings	commit \| commitdiff \| tree
2015-02-07	jim	tweak	commit \| commitdiff \| tree
2015-02-07	jim	add comment	commit \| commitdiff \| tree
2015-02-07	jim	refine notes	commit \| commitdiff \| tree
2015-02-07	jim	refine notes	commit \| commitdiff \| tree
2015-02-07	jim	tweak link	commit \| commitdiff \| tree
2015-02-07	jim	tweak	commit \| commitdiff \| tree
2015-02-07	Jim	tweak links	commit \| commitdiff \| tree
2015-02-07	jim	fix link	commit \| commitdiff \| tree
2015-02-07	jim	add links to (some) week2 notes	commit \| commitdiff \| tree
2015-02-07	jim	update for rename of topics/week1_advanced_notes.mdwn...	commit \| commitdiff \| tree
2015-02-07	jim	update for rename of topics/week1_advanced_notes.mdwn...	commit \| commitdiff \| tree
2015-02-07	jim	update for rename of topics/week1_advanced_notes.mdwn...	commit \| commitdiff \| tree
2015-02-07	jim	update for rename of topics/week1_advanced_notes.mdwn...	commit \| commitdiff \| tree
2015-02-07	jim	rename topics/week1_advanced_notes.mdwn to topics/week1_kapu...	commit \| commitdiff \| tree
2015-02-07	jim	update for rename of topics/week1.mdwn to topics/week1_kapul...	commit \| commitdiff \| tree
2015-02-07	jim	update for rename of topics/week1.mdwn to topics/week1_kapul...	commit \| commitdiff \| tree
2015-02-07	jim	update for rename of topics/week1.mdwn to topics/week1_kapul...	commit \| commitdiff \| tree
2015-02-07	jim	rename topics/week1.mdwn to topics/week1_kapulet_intro...	commit \| commitdiff \| tree
2015-02-07	jim	update for rename of topics/_week2_lambda_calculus_fine_poin...	commit \| commitdiff \| tree
2015-02-07	jim	update for rename of topics/_week2_lambda_calculus_fine_poin...	commit \| commitdiff \| tree
2015-02-07	jim	rename topics/_week2_lambda_calculus_fine_points.mdwn...	commit \| commitdiff \| tree
2015-02-07	jim	update for rename of topics/_week2_lambda_calculus_intro...	commit \| commitdiff \| tree
2015-02-07	jim	rename topics/_week2_lambda_calculus_intro.mdwn to...	commit \| commitdiff \| tree
2015-02-07	jim	fix link	commit \| commitdiff \| tree
2015-02-07	jim	fix link	commit \| commitdiff \| tree
2015-02-07	jim	Add index for week 2	commit \| commitdiff \| tree
2015-02-07	Jim	refine week2 notes part1	commit \| commitdiff \| tree
2015-02-07	jim	Promote de Bruijn	commit \| commitdiff \| tree
2015-02-07	jim	Add Dana Scott, demote Dijkstra, add de Bruijn	commit \| commitdiff \| tree
2015-02-07	jim	add Steele	commit \| commitdiff \| tree
2015-02-07	jim	fix image uri	commit \| commitdiff \| tree
2015-02-07	jim	don't inline image	commit \| commitdiff \| tree
2015-02-07	Jim	add randj.jpg	commit \| commitdiff \| tree
2015-02-07	jim	tweaks	commit \| commitdiff \| tree
2015-02-06	jim	framing note	commit \| commitdiff \| tree
2015-02-06	jim	rosetta1 should be stable	commit \| commitdiff \| tree
2015-02-06	jim	should be stable now	commit \| commitdiff \| tree
2015-02-06	jim	add anchor for #lightweight	commit \| commitdiff \| tree
2015-02-06	jim	add anchor for #dollar	commit \| commitdiff \| tree
2015-02-06	jim	add anchor for #multivalues	commit \| commitdiff \| tree
2015-02-06	jim	update Lambda Calculator link	commit \| commitdiff \| tree
2015-02-06	jim	fix links	commit \| commitdiff \| tree
2015-02-06	jim	next chunk of edits	commit \| commitdiff \| tree
2015-02-05	jim	add link to lambda_evaluator	commit \| commitdiff \| tree
2015-02-05	jim	link to lambda_evaluator	commit \| commitdiff \| tree
2015-02-05	Jim	try adding lambda evaluator	commit \| commitdiff \| tree
2015-02-05	Jim	Merge branch 'master' into working	commit \| commitdiff \| tree
2015-02-05	jim	next chunk of content	commit \| commitdiff \| tree
2015-02-05	jim	add #funct-declarations	commit \| commitdiff \| tree
2015-02-05	jim	add #guards and #as-patterns anchors	commit \| commitdiff \| tree
2015-02-05	jim	add #sections anchor	commit \| commitdiff \| tree
2015-02-05	jim	add toc	commit \| commitdiff \| tree
2015-02-05	jim	add anchor for #variables	commit \| commitdiff \| tree
2015-02-04	Jim	Merge branch 'master' into working	commit \| commitdiff \| tree
2015-02-04	Jim	rename _rosett	commit \| commitdiff \| tree
2015-02-04	jim	update for rename of rosetta.mdwn to rosetta1.mdwn	commit \| commitdiff \| tree
2015-02-04	jim	update for rename of rosetta.mdwn to rosetta1.mdwn	commit \| commitdiff \| tree
2015-02-04	jim	update for rename of rosetta.mdwn to rosetta1.mdwn	commit \| commitdiff \| tree
2015-02-04	jim	update for rename of rosetta.mdwn to rosetta1.mdwn	commit \| commitdiff \| tree
2015-02-04	jim	update for rename of rosetta.mdwn to rosetta1.mdwn	commit \| commitdiff \| tree
2015-02-04	jim	rename rosetta.mdwn to rosetta1.mdwn	commit \| commitdiff \| tree
2015-02-04	jim	huh, last edits are not displaying	commit \| commitdiff \| tree
2015-02-04	jim	tweak markup	commit \| commitdiff \| tree
2015-02-04	jim	post latest content	commit \| commitdiff \| tree
2015-02-04	jim	add Prelude	commit \| commitdiff \| tree
2015-02-04	jim	fix typo, thanks Kyle	commit \| commitdiff \| tree
2015-02-04	jim	stronger note	commit \| commitdiff \| tree
2015-02-04	jim	note what's in progress	commit \| commitdiff \| tree
2015-02-04	jim	note what's in progress	commit \| commitdiff \| tree
2015-02-04	jim	add comments, paste content from rosetta2	commit \| commitdiff \| tree
2015-02-04	jim	rename more_rosetta.mdwn to rosetta2.mdwn	commit \| commitdiff \| tree
next

NYU Lambda Wiki v2

RSS Atom