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

2010-11-01	Chris Barker	Added assignmemnt 6	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	Added assignmemnt 6	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	Added assignmemnt 6	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	Added assignmemnt 6	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	Added assignmemnt 6	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	Added assignmemnt 6	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	Added assignmemnt 6	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	Added assignmemnt 6	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	Added assignmemnt 6	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	Added assignmemnt 6	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	comment re 'intensionality monad'	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	fix links to towards monads	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-11-01	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	reader: tweaking markup	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	reader: tweaking markup	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	reader: tweaking markup	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	reader: tweaking markup	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	reader: tweaking markup	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	reader: tweaking markup	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	reader: tweaking markup	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	reader: fix [[]] markup	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	fill in reader monad	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	week6: tweaked hidden notes	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	upcoming topics: tweaked	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	reorg monad links	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	week7 tweak	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	split off reader, intens monads; link to week7	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	add friedman article, week7 tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	towards monads tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	week6 tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	towards monads: tweak error message	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	week7: tweaking	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	towards monads tweak	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	week7: use u,v for monadic terms	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	towards monads: use u,v for monadic terms	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	pattern matching: use standard OCaml conventions	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	move Towards Monads to own page	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	week6: expand	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	link to monads in category theory	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	week7: monad details	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	week7: update monad intro	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	week7: housecleaning	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	expand name 'towards monads'	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	tweak index	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	tweak advanced	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	tweak advanced	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	tweak advanced	commit \| commitdiff \| tree \| snapshot
2010-11-01	Jim Pryor	make advanced folder	commit \| commitdiff \| tree \| snapshot
2010-10-31	ken	Add some examples of monad laws using "safe division"	commit \| commitdiff \| tree \| snapshot
2010-10-31	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-10-31	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-10-31	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-10-31	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-10-31	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-10-31	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-10-31	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-10-31	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-10-31	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-10-31	Chris Barker	assignment 6	commit \| commitdiff \| tree \| snapshot
2010-10-31	Chris Barker	Monads	commit \| commitdiff \| tree \| snapshot
2010-10-30	barker	(no commit message)	commit \| commitdiff \| tree \| snapshot
2010-10-30	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	post ass5	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	Merge branch 'pryor'	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	ass5: merged Chris' changes	commit \| commitdiff \| tree \| snapshot
2010-10-26	Chris Barker	hw5	commit \| commitdiff \| tree \| snapshot
2010-10-26	Chris Barker	hw changes	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	ass5: tweaks	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	ass5: tweaks	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	ass5: tweaks	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	ass5: more formatting	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	ass5: move monads to end	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	ass5: prime lift,bind,add	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	Revert "Revert "ass5: omega->blackhole""	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	Revert "Revert "homework formatting/some de-utf8ing""	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	Revert "Revert "Acar reference""	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	Revert "Acar reference"	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	Revert "homework formatting/some de-utf8ing"	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	Revert "ass5: omega->blackhole"	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	week6: formatting, add primes after monad ops	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	ass5: omega->blackhole	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	homework formatting/some de-utf8ing	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	Acar reference	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	decap OCAML	commit \| commitdiff \| tree \| snapshot
2010-10-26	Jim Pryor	renamed curry-howard	commit \| commitdiff \| tree \| snapshot
2010-10-25	Chris Barker	added proto-monad	commit \| commitdiff \| tree \| snapshot
2010-10-25	Chris Barker	added proto-monad	commit \| commitdiff \| tree \| snapshot
2010-10-25	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-10-25	Chris Barker	added proto-monad	commit \| commitdiff \| tree \| snapshot
2010-10-25	Chris Barker	edits	commit \| commitdiff \| tree \| snapshot
2010-10-25	Chris Barker	added proto-monad	commit \| commitdiff \| tree \| snapshot
2010-10-25	Chris Barker	added proto-monad	commit \| commitdiff \| tree \| snapshot
2010-10-25	Chris Barker	added proto-monad	commit \| commitdiff \| tree \| snapshot
next

NYU Lambda Wiki v2

RSS Atom