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

2015-04-04	jim	remove comments	commit \| commitdiff \| tree
2015-04-04	jim	add comments	commit \| commitdiff \| tree
2015-04-04	jim	add link to using Juli8	commit \| commitdiff \| tree
2015-04-04	jim	create page	commit \| commitdiff \| tree
2015-04-04	jim	update for rename of topics/week9_using_monad_library...	commit \| commitdiff \| tree
2015-04-04	jim	rename topics/week9_using_monad_library.mdwn to topics...	commit \| commitdiff \| tree
2015-04-04	jim	clean up a bit	commit \| commitdiff \| tree
2015-04-04	jim	link to Using monad library	commit \| commitdiff \| tree
2015-04-04	jim	create page	commit \| commitdiff \| tree
2015-04-03	chris	(no commit message)	commit \| commitdiff \| tree
2015-04-02	jim	fix some typos	commit \| commitdiff \| tree
2015-04-02	jim	fix some markup	commit \| commitdiff \| tree
2015-04-02	jim	post ramble	commit \| commitdiff \| tree
2015-04-02	jim	post link to week8_ramble	commit \| commitdiff \| tree
2015-04-01	jim	add quick instructions	commit \| commitdiff \| tree
2015-04-01	jim	post links to Juli8 and Monad.ml	commit \| commitdiff \| tree
2015-04-01	jim	stubs	commit \| commitdiff \| tree
2015-03-30	chris	(no commit message)	commit \| commitdiff \| tree
2015-03-30	chris	(no commit message)	commit \| commitdiff \| tree
2015-03-30	chris	(no commit message)	commit \| commitdiff \| tree
2015-03-30	chris	(no commit message)	commit \| commitdiff \| tree
2015-03-30	chris	(no commit message)	commit \| commitdiff \| tree
2015-03-30	chris	(no commit message)	commit \| commitdiff \| tree
2015-03-30	chris	(no commit message)	commit \| commitdiff \| tree
2015-03-27	jim	cyclic structures	commit \| commitdiff \| tree
2015-03-25	jim	typo, thanks Kyle	commit \| commitdiff \| tree
2015-03-25	jim	shell scripts use dynamic binding	commit \| commitdiff \| tree
2015-03-25	jim	typo	commit \| commitdiff \| tree
2015-03-24	jim	post hidden stuff	commit \| commitdiff \| tree
2015-03-24	jim	T combinator	commit \| commitdiff \| tree
2015-03-24	jim	remove TODO	commit \| commitdiff \| tree
2015-03-24	jim	more results that aren't terms	commit \| commitdiff \| tree
2015-03-24	jim	expand about environments	commit \| commitdiff \| tree
2015-03-24	jim	add parentheses	commit \| commitdiff \| tree
2015-03-24	jim	tweak	commit \| commitdiff \| tree
2015-03-24	jim	inconsistent-->unsound	commit \| commitdiff \| tree
2015-03-24	jim	&equiv; means syntactic identity, not equivalence	commit \| commitdiff \| tree
2015-03-24	jim	whoops, tree_best_sofar (direct) had a bug	commit \| commitdiff \| tree
2015-03-24	jim	fix link	commit \| commitdiff \| tree
2015-03-24	jim	add toc	commit \| commitdiff \| tree
2015-03-24	jim	update link	commit \| commitdiff \| tree
2015-03-24	jim	post/update links	commit \| commitdiff \| tree
2015-03-23	jim	formatting	commit \| commitdiff \| tree
2015-03-23	jim	post links	commit \| commitdiff \| tree
2015-03-23	jim	rename topics/_week7_interpreter_exposition.mdwn to...	commit \| commitdiff \| tree
2015-03-23	jim	edits	commit \| commitdiff \| tree
2015-03-23	jim	add #primed	commit \| commitdiff \| tree
2015-03-23	jim	edits?	commit \| commitdiff \| tree
2015-03-23	jim	add link to Closures	commit \| commitdiff \| tree
2015-03-23	jim	rename topics/week7__95__environments__95__and__95__closures...	commit \| commitdiff \| tree
2015-03-23	jim	update for rename of topics/closures.mdwn to topics...	commit \| commitdiff \| tree
2015-03-23	jim	rename topics/closures.mdwn to topics/week7__95__environment...	commit \| commitdiff \| tree
2015-03-23	jim	edits	commit \| commitdiff \| tree
2015-03-23	jim	extract closures discussion to separate page	commit \| commitdiff \| tree
2015-03-23	jim	create page	commit \| commitdiff \| tree
2015-03-23	jim	add more bold	commit \| commitdiff \| tree
2015-03-23	jim	add update note	commit \| commitdiff \| tree
2015-03-23	jim	add update note	commit \| commitdiff \| tree
2015-03-23	jim	add toc	commit \| commitdiff \| tree
2015-03-23	jim	tweak	commit \| commitdiff \| tree
2015-03-23	jim	add explanation of Closures	commit \| commitdiff \| tree
2015-03-23	jim	fix markup	commit \| commitdiff \| tree
2015-03-23	jim	fix markup	commit \| commitdiff \| tree
2015-03-23	jim	add #occurs_free	commit \| commitdiff \| tree
2015-03-23	jim	add #occurs_free	commit \| commitdiff \| tree
2015-03-23	jim	fix link	commit \| commitdiff \| tree
2015-03-23	jim	update note	commit \| commitdiff \| tree
2015-03-23	jim	update note	commit \| commitdiff \| tree
2015-03-23	jim	typo	commit \| commitdiff \| tree
2015-03-23	jim	markup	commit \| commitdiff \| tree
2015-03-23	jim	formating	commit \| commitdiff \| tree
2015-03-23	jim	use arrow for mid	commit \| commitdiff \| tree
2015-03-23	jim	use arrow for mid	commit \| commitdiff \| tree
2015-03-23	jim	remove spaces after applications of mid	commit \| commitdiff \| tree
2015-03-23	jim	change m$ to ¢	commit \| commitdiff \| tree
2015-03-23	jim	change mid to double up arrow U+2e17	commit \| commitdiff \| tree
2015-03-23	jim	again with the markup	commit \| commitdiff \| tree
2015-03-23	jim	markup	commit \| commitdiff \| tree
2015-03-23	jim	post safe division, rename/reorg a bit	commit \| commitdiff \| tree
2015-03-23	jim	link to safe division	commit \| commitdiff \| tree
2015-03-23	jim	rename topics/week8_safe_division_with_Monads.mdwn...	commit \| commitdiff \| tree
2015-03-23	jim	rename topics/_week8_using_monads.mdwn to topics/week8_safe_...	commit \| commitdiff \| tree
2015-03-23	jim	polish	commit \| commitdiff \| tree
2015-03-23	jim	move do-notation links	commit \| commitdiff \| tree
2015-03-23	jim	explain comments	commit \| commitdiff \| tree
2015-03-22	jim	move link	commit \| commitdiff \| tree
2015-03-22	jim	They're sets of worlds AND they're CCPs... Understand...	commit \| commitdiff \| tree
2015-03-22	jim	explain "cohere"	commit \| commitdiff \| tree
2015-03-22	jim	formatting	commit \| commitdiff \| tree
2015-03-22	jim	add Monads made hard link to Category Theory links	commit \| commitdiff \| tree
2015-03-22	jim	extra line	commit \| commitdiff \| tree
2015-03-22	jim	tweak List.>>= explanation	commit \| commitdiff \| tree
2015-03-22	jim	tweak diagram	commit \| commitdiff \| tree
2015-03-22	jim	refinements, diagrams	commit \| commitdiff \| tree
2015-03-22	jim	More explicitness	commit \| commitdiff \| tree
2015-03-22	jim	reorganize	commit \| commitdiff \| tree
2015-03-22	jim	formatting	commit \| commitdiff \| tree
2015-03-22	jim	(no commit message)	commit \| commitdiff \| tree
2015-03-22	jim	removed	commit \| commitdiff \| tree
2015-03-22	jim	tweaks	commit \| commitdiff \| tree
next

NYU Lambda Wiki v2

RSS Atom