projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
gsv draft
[lambda.git]
/
topics
/
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
jim
fix link
tree
|
commitdiff
2015-03-23
jim
typo
tree
|
commitdiff
2015-03-23
jim
formating
tree
|
commitdiff
2015-03-23
jim
use arrow for mid
tree
|
commitdiff
2015-03-23
jim
remove spaces after applications of mid
tree
|
commitdiff
2015-03-23
jim
change m$ to ¢
tree
|
commitdiff
2015-03-23
jim
change mid to double up arrow U+2e17
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
jim
rename topics/week8_safe_division_with_Monads.mdwn...
tree
|
commitdiff
2015-03-23
jim
rename topics/_week8_using_monads.mdwn to topics/week8_...
tree
|
commitdiff
2015-03-23
jim
polish
tree
|
commitdiff
2015-03-23
jim
move do-notation links
tree
|
commitdiff
2015-03-23
jim
explain comments
tree
|
commitdiff
2015-03-22
jim
move link
tree
|
commitdiff
2015-03-22
jim
They're sets of worlds AND they're CCPs... Understand...
tree
|
commitdiff
2015-03-22
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-22
jim
explain "cohere"
tree
|
commitdiff
2015-03-22
jim
formatting
tree
|
commitdiff
2015-03-22
jim
add Monads made hard link to Category Theory links
tree
|
commitdiff
2015-03-22
jim
extra line
tree
|
commitdiff
2015-03-22
jim
tweak List.>>= explanation
tree
|
commitdiff
2015-03-22
jim
tweak diagram
tree
|
commitdiff
2015-03-22
jim
refinements, diagrams
tree
|
commitdiff
2015-03-22
jim
reorganize
tree
|
commitdiff
2015-03-22
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-22
jim
(no commit message)
tree
|
commitdiff
2015-03-22
jim
removed
tree
|
commitdiff
2015-03-22
jim
tweaks
tree
|
commitdiff
2015-03-22
jim
add addl reading section
tree
|
commitdiff
2015-03-22
jim
more refinements
tree
|
commitdiff
2015-03-22
jim
some refinements
tree
|
commitdiff
2015-03-22
jim
some refinements
tree
|
commitdiff
2015-03-22
Jim
add monads_in_general for scratch
tree
|
commitdiff
2015-03-21
jim
create page
tree
|
commitdiff
2015-03-21
jim
remove Safe division
tree
|
commitdiff
2015-03-21
jim
warning about mu, some tweaks
tree
|
commitdiff
2015-03-20
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-20
jim
spoke too soon, added examples of failures
tree
|
commitdiff
2015-03-20
jim
last tweaks to monad page for now
tree
|
commitdiff
2015-03-20
jim
restore Chris's double boxes
tree
|
commitdiff
2015-03-20
jim
refinements
tree
|
commitdiff
2015-03-20
chris
(no commit message)
tree
|
commitdiff
2015-03-20
Chris
edits
tree
|
commitdiff
2015-03-20
Chris
double box
tree
|
commitdiff
2015-03-20
jim
refine
tree
|
commitdiff
2015-03-20
jim
expanding
tree
|
commitdiff
2015-03-20
jim
= to ==
tree
|
commitdiff
2015-03-20
jim
refine Cat Theory notes
tree
|
commitdiff
2015-03-20
jim
various edits, including Cat Theory
tree
|
commitdiff
2015-03-20
jim
markup
tree
|
commitdiff
2015-03-20
jim
expand Mappable Laws
tree
|
commitdiff
2015-03-19
jim
ambiguous "identify"
tree
|
commitdiff
2015-03-19
jim
Clean up examples, stick more consistently to typing...
tree
|
commitdiff
2015-03-19
jim
explain mappable laws better
tree
|
commitdiff
2015-03-19
Chris
Merge branch 'master' of main.jimpryor.net:/srv/lambda...
tree
|
commitdiff
2015-03-19
Chris
added intensionality and binding
tree
|
commitdiff
2015-03-19
jim
add mappable laws
tree
|
commitdiff
2015-03-19
jim
fix type
tree
|
commitdiff
2015-03-19
jim
express hesitation about flipped names
tree
|
commitdiff
2015-03-19
jim
fix "arrow"
tree
|
commitdiff
2015-03-19
jim
correction
tree
|
commitdiff
2015-03-19
jim
tweak category theory blurb
tree
|
commitdiff
2015-03-19
jim
tweak
tree
|
commitdiff
2015-03-19
jim
formatting
tree
|
commitdiff
2015-03-19
jim
add links to category theory
tree
|
commitdiff
2015-03-19
jim
lowercase monad
tree
|
commitdiff
2015-03-19
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-19
jim
tweak
tree
|
commitdiff
2015-03-19
jim
tweak
tree
|
commitdiff
2015-03-19
jim
replace some == with ≡
tree
|
commitdiff
2015-03-19
jim
add sentence about Identity Monad
tree
|
commitdiff
2015-03-19
jim
add some <code> tags
tree
|
commitdiff
2015-03-19
jim
fix join's type
tree
|
commitdiff
2015-03-19
jim
ok
tree
|
commitdiff
2015-03-19
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-19
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-19
jim
(no commit message)
tree
|
commitdiff
2015-03-19
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-19
jim
(no commit message)
tree
|
commitdiff
2015-03-19
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-19
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-19
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-19
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-19
jim
(no commit message)
tree
|
commitdiff
2015-03-19
jim
(no commit message)
tree
|
commitdiff
2015-03-19
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-19
jim
edits, still has some TODOs
tree
|
commitdiff
2015-03-19
jim
wip
tree
|
commitdiff
2015-03-19
chris
(no commit message)
tree
|
commitdiff
2015-03-19
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-19
chris
(no commit message)
tree
|
commitdiff
2015-03-19
chris
(no commit message)
tree
|
commitdiff
2015-03-19
jim
some edits
tree
|
commitdiff
2015-03-19
jim
rename topics/week7_monads.mdwn to topics/week7_introdu...
tree
|
commitdiff
2015-03-19
jim
fix markup, typo
tree
|
commitdiff
2015-03-19
jim
update, add safe division
tree
|
commitdiff
next