projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
reorganize
[lambda.git]
/
topics
/
week7_introducing_monads.mdwn
2015-03-22
jim
reorganize
blob
|
commitdiff
2015-03-22
Jim
Merge branch 'working'
blob
|
commitdiff
|
diff to current
2015-03-22
jim
tweaks
blob
|
commitdiff
|
diff to current
2015-03-22
jim
add addl reading section
blob
|
commitdiff
|
diff to current
2015-03-22
jim
more refinements
blob
|
commitdiff
|
diff to current
2015-03-22
jim
some refinements
blob
|
commitdiff
|
diff to current
2015-03-22
jim
some refinements
blob
|
commitdiff
|
diff to current
2015-03-21
jim
remove Safe division
blob
|
commitdiff
|
diff to current
2015-03-21
jim
warning about mu, some tweaks
blob
|
commitdiff
|
diff to current
2015-03-20
Jim
Merge branch 'working'
blob
|
commitdiff
|
diff to current
2015-03-20
jim
spoke too soon, added examples of failures
blob
|
commitdiff
|
diff to current
2015-03-20
jim
last tweaks to monad page for now
blob
|
commitdiff
|
diff to current
2015-03-20
jim
restore Chris's double boxes
blob
|
commitdiff
|
diff to current
2015-03-20
jim
refinements
blob
|
commitdiff
|
diff to current
2015-03-20
chris
(no commit message)
blob
|
commitdiff
|
diff to current
2015-03-20
Chris
edits
blob
|
commitdiff
|
diff to current
2015-03-20
Chris
double box
blob
|
commitdiff
|
diff to current
2015-03-20
jim
refine
blob
|
commitdiff
|
diff to current
2015-03-20
jim
expanding
blob
|
commitdiff
|
diff to current
2015-03-20
jim
= to ==
blob
|
commitdiff
|
diff to current
2015-03-20
jim
refine Cat Theory notes
blob
|
commitdiff
|
diff to current
2015-03-20
jim
various edits, including Cat Theory
blob
|
commitdiff
|
diff to current
2015-03-20
jim
markup
blob
|
commitdiff
|
diff to current
2015-03-20
jim
expand Mappable Laws
blob
|
commitdiff
|
diff to current
2015-03-19
jim
ambiguous "identify"
blob
|
commitdiff
|
diff to current
2015-03-19
jim
Clean up examples, stick more consistently to typing...
blob
|
commitdiff
|
diff to current
2015-03-19
jim
explain mappable laws better
blob
|
commitdiff
|
diff to current
2015-03-19
Chris
Merge branch 'master' of main.jimpryor.net:/srv/lambda...
blob
|
commitdiff
|
diff to current
2015-03-19
jim
add mappable laws
blob
|
commitdiff
|
diff to current
2015-03-19
jim
fix type
blob
|
commitdiff
|
diff to current
2015-03-19
jim
express hesitation about flipped names
blob
|
commitdiff
|
diff to current
2015-03-19
jim
fix "arrow"
blob
|
commitdiff
|
diff to current
2015-03-19
jim
correction
blob
|
commitdiff
|
diff to current
2015-03-19
jim
tweak category theory blurb
blob
|
commitdiff
|
diff to current
2015-03-19
jim
tweak
blob
|
commitdiff
|
diff to current
2015-03-19
jim
formatting
blob
|
commitdiff
|
diff to current
2015-03-19
jim
add links to category theory
blob
|
commitdiff
|
diff to current
2015-03-19
jim
lowercase monad
blob
|
commitdiff
|
diff to current
2015-03-19
Jim
Merge branch 'working'
blob
|
commitdiff
|
diff to current
2015-03-19
jim
tweak
blob
|
commitdiff
|
diff to current
2015-03-19
jim
replace some == with ≡
blob
|
commitdiff
|
diff to current
2015-03-19
jim
add sentence about Identity Monad
blob
|
commitdiff
|
diff to current
2015-03-19
jim
add some <code> tags
blob
|
commitdiff
|
diff to current
2015-03-19
jim
fix join's type
blob
|
commitdiff
|
diff to current
2015-03-19
jim
ok
blob
|
commitdiff
|
diff to current
2015-03-19
Jim
Merge branch 'working'
blob
|
commitdiff
|
diff to current
2015-03-19
Jim
Merge branch 'working'
blob
|
commitdiff
|
diff to current
2015-03-19
jim
(no commit message)
blob
|
commitdiff
|
diff to current
2015-03-19
Jim
Merge branch 'working'
blob
|
commitdiff
|
diff to current
2015-03-19
jim
(no commit message)
blob
|
commitdiff
|
diff to current
2015-03-19
Jim
Merge branch 'working'
blob
|
commitdiff
|
diff to current
2015-03-19
Jim
Merge branch 'working'
blob
|
commitdiff
|
diff to current
2015-03-19
Jim
Merge branch 'working'
blob
|
commitdiff
|
diff to current
2015-03-19
Jim
Merge branch 'working'
blob
|
commitdiff
|
diff to current
2015-03-19
jim
(no commit message)
blob
|
commitdiff
|
diff to current
2015-03-19
jim
(no commit message)
blob
|
commitdiff
|
diff to current
2015-03-19
Jim
Merge branch 'working'
blob
|
commitdiff
|
diff to current
2015-03-19
jim
edits, still has some TODOs
blob
|
commitdiff
|
diff to current
2015-03-19
jim
wip
blob
|
commitdiff
|
diff to current
2015-03-19
Jim
Merge branch 'working'
blob
|
commitdiff
|
diff to current
2015-03-19
chris
(no commit message)
blob
|
commitdiff
|
diff to current
2015-03-19
jim
rename topics/week7_monads.mdwn to topics/week7_introdu...
blob
|
commitdiff
|
diff to current