| 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 | Merge branch 'working'
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | update code
|
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 | update css
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | Merge branch 'working'
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | update css
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | Merge branch 'working'
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | (no commit message)
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | update css
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | Merge branch 'working'
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | (no commit message)
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | Merge branch 'working'
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | update css
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | Merge branch 'working'
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | update css
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | Merge branch 'working'
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | update css
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | Merge branch 'working'
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | experimenting css
|
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 | Merge branch 'working'
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | more local.css updates
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | edits, still has some TODOs
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | update local.css
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | update local.css
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | wip
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | Merge branch 'working'
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | add .double to local.css
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | some edits
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | tweak
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | post Monads
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | post Introducing Monads
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | rename topics/week7_monads.mdwn to topics/week7_introducing_...
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | fix markup, typo
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | update, add safe division
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | update
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | removed
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | rename topics/_week7_monads.mdwn to topics/week7_monads...
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | update ski_evaluators
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | Merge branch 'master' into working
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | rename topics/week7__95__combinatory__95__evaluator...
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | light editing, rename functions for clarity
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | rename topics/week7_eval_combinatory.mdwn to topics...
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | rename eval_combinatory
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | post combinatory evaluator
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | post eval_combinatory
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | rename topics/week7_eval_cl.mdwn to topics/week7_eval_combin...
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | add Plexy and some stubs/reorganization
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | link to Plexy
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | rename topics/_week6_plexy.mdwn to topics/week6_plexy...
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | update
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | remove extraneous code file
|
commit | commitdiff | tree |
| 2015-03-19 |
Jim | remove extraneous code file
|
commit | commitdiff | tree |
| 2015-03-19 |
jim | create page
|
commit | commitdiff | tree |
| 2015-03-08 |
jim | simplify Haskell
|
commit | commitdiff | tree |
| 2015-03-08 |
jim | add comments about Haskell
|
commit | commitdiff | tree |
| 2015-03-08 |
jim | tweak explanation
|
commit | commitdiff | tree |
| 2015-03-08 |
jim | add more about numbers
|
commit | commitdiff | tree |
| 2015-03-08 |
jim | create page
|
commit | commitdiff | tree |
| 2015-03-08 |
jim | renumber yet again, please stick
|
commit | commitdiff | tree |
| 2015-03-08 |
jim | renumber hint again
|
commit | commitdiff | tree |
| 2015-03-08 |
jim | renumber hint
|
commit | commitdiff | tree |
| 2015-03-08 |
jim | cancel the System F lists -> OCaml
|
commit | commitdiff | tree |
| 2015-03-05 |
jim | fix markup
|
commit | commitdiff | tree |
| 2015-03-04 |
jim | reword problem
|
commit | commitdiff | tree |
| 2015-03-04 |
jim | add hint for tree enumeration
|
commit | commitdiff | tree |
| 2015-03-04 |
jim | create page
|
commit | commitdiff | tree |
| 2015-03-04 |
jim | boldface brief intro and promote
|
commit | commitdiff | tree |
| 2015-03-04 |
jim | boldface two intro docs, reorganize
|
commit | commitdiff | tree |
| 2015-03-03 |
jim | post King readings
|
commit | commitdiff | tree |
| 2015-03-03 |
jim | typo
|
commit | commitdiff | tree |
| 2015-03-03 |
jim | post King readings, reorganize
|
commit | commitdiff | tree |
| 2015-03-03 |
Jim | add King readings
|
commit | commitdiff | tree |
| 2015-03-03 |
jim | typo
|
commit | commitdiff | tree |
| 2015-03-03 |
jim | post readings
|
commit | commitdiff | tree |
| 2015-03-03 |
jim | post readings
|
commit | commitdiff | tree |
| 2015-03-03 |
Jim | add readings
|
commit | commitdiff | tree |
| 2015-03-02 |
jim | release existing versions
|
commit | commitdiff | tree |
| 2015-03-02 |
jim | release existing versions, I'm taking too long
|
commit | commitdiff | tree |
| 2015-03-02 |
jim | rename topics/_week5_simply_typed_lambda.mdwn to topics...
|
commit | commitdiff | tree |
| 2015-03-02 |
jim | rename topics/_week5_system_F.mdwn to topics/week5_system_F...
|
commit | commitdiff | tree |
| next |