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

2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat: right arrow	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory: different bold	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory tweaks	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory testing	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	id[.]	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	capitalize c1,c2,c3	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	Merge branch 'pryor'	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	bold categories, greek NTs	commit \| commitdiff \| tree \| snapshot
2010-11-02	Chris Barker	move hint	commit \| commitdiff \| tree \| snapshot
2010-11-02	Chris Barker	move hint	commit \| commitdiff \| tree \| snapshot
2010-11-02	Chris Barker	move hint	commit \| commitdiff \| tree \| snapshot
2010-11-02	Chris Barker	move hint	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	tweak cat theory	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	tweak cat theory	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	tweak cat theory	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	tweak cat theory	commit \| commitdiff \| tree \| snapshot
2010-11-02	Jim Pryor	cat theory warning	commit \| commitdiff \| tree \| snapshot
2010-11-01	barker	(no commit message)	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	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
next

NYU Lambda Wiki v2

RSS Atom