| 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 |
| 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-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 | 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 |
| 2015-03-19 |
jim | fix type
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | express hesitation about flipped names
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | fix "arrow"
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | correction
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | tweak category theory blurb
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | tweak
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | formatting
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | add links to category theory
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | post homework7, with promises
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | post homework7, with promises
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | lowercase monad
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | updates, ready to post with promises
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | rename exercises/_assignment6.mdwn to exercises/assignment7...
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | tweak
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | tweak
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | replace some == with ≡
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | add sentence about Identity Monad
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | add some <code> tags
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | fix join's type
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | ok
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | (no commit message)
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | (no commit message)
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | (no commit message)
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | (no commit message)
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | edits, still has some TODOs
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | wip
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | some edits
|
commit | commitdiff | tree |
| next |