| 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 |
| 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 | 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 | 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 | typo
|
commit | commitdiff | tree |
| 2015-03-03 |
jim | post readings
|
commit | commitdiff | tree |
| 2015-03-03 |
jim | post 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 |
| 2015-03-01 |
jim | posted link to homework
|
commit | commitdiff | tree |
| 2015-03-01 |
jim | posted stubs
|
commit | commitdiff | tree |
| 2015-03-01 |
jim | tweak types for list encoding
|
commit | commitdiff | tree |
| 2015-03-01 |
jim | more precise Pierce link
|
commit | commitdiff | tree |
| 2015-03-01 |
jim | link to hint
|
commit | commitdiff | tree |
| 2015-03-01 |
jim | create page
|
commit | commitdiff | tree |
| 2015-03-01 |
jim | create page
|
commit | commitdiff | tree |
| 2015-03-01 |
jim | ready to go?
|
commit | commitdiff | tree |
| 2015-03-01 |
jim | almost done
|
commit | commitdiff | tree |
| 2015-03-01 |
jim | revisions
|
commit | commitdiff | tree |
| 2015-03-01 |
jim | work in progress
|
commit | commitdiff | tree |
| 2015-03-01 |
jim | pred attribution
|
commit | commitdiff | tree |
| 2015-02-25 |
jim | add note about Pierce
|
commit | commitdiff | tree |
| 2015-02-25 |
jim | wording
|
commit | commitdiff | tree |
| 2015-02-24 |
jim | probably most efficient
|
commit | commitdiff | tree |
| 2015-02-24 |
jim | third solution for left_head
|
commit | commitdiff | tree |
| 2015-02-24 |
jim | tweak explanation of Bunder/Urbanek pred
|
commit | commitdiff | tree |
| 2015-02-24 |
jim | add comment
|
commit | commitdiff | tree |
| 2015-02-24 |
jim | posted week3-evaluation order
|
commit | commitdiff | tree |
| 2015-02-24 |
jim | post week3-evaluation order
|
commit | commitdiff | tree |
| 2015-02-24 |
jim | rename topics/_week3_eval_order.mdwn to topics/week3_evaluat...
|
commit | commitdiff | tree |
| 2015-02-24 |
jim | cleanup
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | typos
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | add note about generalization
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | add note about generalization
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | delete cruft
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | post answers
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | post week 3 answers
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | fix link
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | add <a id=flipped-cons>
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | create page
|
commit | commitdiff | tree |
| next |