projects
/
lambda.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
change mid to double up arrow U+2e17
2015-03-23
jim
change mid to double up arrow U+2e17
commit
|
commitdiff
|
tree
2015-03-23
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-23
Jim
add some old code, let's review/update before publishing
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
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-22
Jim
add faye_dunaway.jpg
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
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-22
Jim
change env implementations to assoc list
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
2015-03-22
jim
add addl reading section
commit
|
commitdiff
|
tree
2015-03-22
jim
more refinements
commit
|
commitdiff
|
tree
2015-03-22
jim
some refinements
commit
|
commitdiff
|
tree
2015-03-22
jim
some refinements
commit
|
commitdiff
|
tree
2015-03-22
Jim
add monads_in_general for scratch
commit
|
commitdiff
|
tree
2015-03-22
Jim
add comments to untyped_evals again
commit
|
commitdiff
|
tree
2015-03-22
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-22
Jim
add comments to untyped_evals
commit
|
commitdiff
|
tree
2015-03-21
jim
tweaks
commit
|
commitdiff
|
tree
2015-03-21
jim
removed
commit
|
commitdiff
|
tree
2015-03-21
jim
post week4 answers
commit
|
commitdiff
|
tree
2015-03-21
jim
post week4 answers
commit
|
commitdiff
|
tree
2015-03-21
jim
finish
commit
|
commitdiff
|
tree
2015-03-21
jim
add set_equal?
commit
|
commitdiff
|
tree
2015-03-21
jim
most answers done
commit
|
commitdiff
|
tree
2015-03-21
jim
removed
commit
|
commitdiff
|
tree
2015-03-21
jim
create page
commit
|
commitdiff
|
tree
2015-03-21
jim
remove Safe division
commit
|
commitdiff
|
tree
2015-03-21
jim
warning about mu, some tweaks
commit
|
commitdiff
|
tree
2015-03-21
jim
fix type of sysf_iszero, add sysf_pred
commit
|
commitdiff
|
tree
2015-03-21
jim
remove "posted late" notice
commit
|
commitdiff
|
tree
2015-03-21
jim
remove/update some "coming soon" notices
commit
|
commitdiff
|
tree
2015-03-21
jim
remove "coming soon" notices
commit
|
commitdiff
|
tree
2015-03-21
jim
link to week 5 answers
commit
|
commitdiff
|
tree
2015-03-21
jim
link to week 5 answers
commit
|
commitdiff
|
tree
2015-03-21
jim
Explain why blackhole and blackhole () can have the...
commit
|
commitdiff
|
tree
2015-03-21
jim
expand about eval order
commit
|
commitdiff
|
tree
2015-03-21
jim
fix explanation of rejected types
commit
|
commitdiff
|
tree
2015-03-21
jim
replace deleted line
commit
|
commitdiff
|
tree
2015-03-21
jim
replace deleted line
commit
|
commitdiff
|
tree
2015-03-21
jim
tweak
commit
|
commitdiff
|
tree
2015-03-21
jim
fix System F booleans
commit
|
commitdiff
|
tree
2015-03-21
jim
spelling
commit
|
commitdiff
|
tree
2015-03-21
jim
markup
commit
|
commitdiff
|
tree
2015-03-21
jim
tweak
commit
|
commitdiff
|
tree
2015-03-21
jim
add some more
commit
|
commitdiff
|
tree
2015-03-21
jim
add some stuff
commit
|
commitdiff
|
tree
2015-03-21
jim
more answers
commit
|
commitdiff
|
tree
2015-03-21
jim
add some more
commit
|
commitdiff
|
tree
2015-03-21
jim
add some answers
commit
|
commitdiff
|
tree
2015-03-21
jim
add hints
commit
|
commitdiff
|
tree
2015-03-21
jim
create page
commit
|
commitdiff
|
tree
2015-03-21
jim
create page
commit
|
commitdiff
|
tree
2015-03-20
Jim
whoops
commit
|
commitdiff
|
tree
2015-03-20
Jim
update homework
commit
|
commitdiff
|
tree
2015-03-20
Jim
provide gappy untyped_evaluator.ml
commit
|
commitdiff
|
tree
2015-03-20
Jim
refine untyped_evaluator
commit
|
commitdiff
|
tree
2015-03-20
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-20
Jim
provide simplified untyped_evaluator (complete version)
commit
|
commitdiff
|
tree
2015-03-20
jim
spoke too soon, added examples of failures
commit
|
commitdiff
|
tree
2015-03-20
jim
mark that Monad page is updated
commit
|
commitdiff
|
tree
2015-03-20
jim
mark that Monad page is updated
commit
|
commitdiff
|
tree
2015-03-20
jim
tweaks
commit
|
commitdiff
|
tree
2015-03-20
jim
last tweaks to monad page for now
commit
|
commitdiff
|
tree
2015-03-20
jim
restore Chris's double boxes
commit
|
commitdiff
|
tree
2015-03-20
jim
refinements
commit
|
commitdiff
|
tree
2015-03-20
jim
refine
commit
|
commitdiff
|
tree
2015-03-20
jim
expanding
commit
|
commitdiff
|
tree
2015-03-20
jim
= to ==
commit
|
commitdiff
|
tree
2015-03-20
jim
refine Cat Theory notes
commit
|
commitdiff
|
tree
2015-03-20
jim
various edits, including Cat Theory
commit
|
commitdiff
|
tree
2015-03-20
jim
markup
commit
|
commitdiff
|
tree
2015-03-20
jim
expand Mappable Laws
commit
|
commitdiff
|
tree
2015-03-19
jim
ambiguous "identify"
commit
|
commitdiff
|
tree
2015-03-19
jim
Clean up examples, stick more consistently to typing...
commit
|
commitdiff
|
tree
2015-03-19
jim
argh... Haskell vs OCaml
commit
|
commitdiff
|
tree
2015-03-19
jim
fix formatting of `1`
commit
|
commitdiff
|
tree
2015-03-19
jim
explain mappable laws better
commit
|
commitdiff
|
tree
2015-03-19
jim
add mappable laws
commit
|
commitdiff
|
tree
next