| 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 |
| 2015-02-23 |
jim | add <a id=cps-reverse>
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | not WIP
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | tweak
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | note on Little Schemer Ch. 8
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | More comments on The Little Schemer, non-total functions
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | fix link
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | add Q comparing our exposition to The Little Schemer's
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | add <a id=little-h>
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | The Little Schemer's eternity
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | add comment about The Little Schemer
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | add note about The Little Schemer
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | add comment about The Little Schemer
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | formatting
|
commit | commitdiff | tree |
| 2015-02-23 |
jim | add comments about The Little Schemer
|
commit | commitdiff | tree |
| 2015-02-22 |
jim | formatting
|
commit | commitdiff | tree |
| 2015-02-22 |
jim | add suggestion about leaf? function
|
commit | commitdiff | tree |
| 2015-02-22 |
jim | tweaks
|
commit | commitdiff | tree |
| 2015-02-22 |
jim | missing paren
|
commit | commitdiff | tree |
| 2015-02-22 |
jim | add paragraph about Little Schemer
|
commit | commitdiff | tree |
| 2015-02-22 |
jim | tweaks
|
commit | commitdiff | tree |
| 2015-02-22 |
jim | add explanatory paragraph
|
commit | commitdiff | tree |
| 2015-02-22 |
jim | clean up last Q&A
|
commit | commitdiff | tree |
| 2015-02-22 |
jim | add head to list functions
|
commit | commitdiff | tree |
| 2015-02-21 |
Jim | Merge branch 'working'
|
commit | commitdiff | tree |
| 2015-02-21 |
Jim | replace tattoo image
|
commit | commitdiff | tree |
| 2015-02-21 |
jim | fix some markup
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | post homework4
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | post homework4
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | rename exercises/_assignment4.mdwn to exercises/assignment4...
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | post tree questions
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | tweak
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | create page
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | add link to hint
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | revised inf arithmetic question again, like to ordinals...
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | remind about section shorthand
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | markup
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | tweak inf arithmetic comment
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | unfortunately, the infinite arithmetic question's arguments...
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | caps
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | add more list functions to set question
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | need empty? for set questions
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | update links
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | add anchor #deriving-y
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | markup
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | add chris's YY question, further refinements elsewhere
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | update some functions
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | more cleanup
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | some cleanup, add set question
|
commit | commitdiff | tree |
| 2015-02-20 |
Jim | Merge branch 'working'
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | posted more about... for week 4
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | posted more about... for week 4
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | rename topics/week4_more_fixed_points.mdwn to topics...
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | cleanup
|
commit | commitdiff | tree |
| 2015-02-20 |
Jim | tweak comment
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | Alpha-convert booleans
|
commit | commitdiff | tree |
| 2015-02-20 |
Jim | push (old version of) q&a on fixed points
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | clean up week 3
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | post main Y notes, stubs for others
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | post main Y notes
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | clean up, move liar/truth-teller to separate document
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | rename topics/_week4_fixed_point_combinators.mdwn to...
|
commit | commitdiff | tree |
| 2015-02-20 |
jim | rename topics/_week4_fixed_point_combinator.mdwn to...
|
commit | commitdiff | tree |
| 2015-02-19 |
jim | last commit before class, there are still some comments...
|
commit | commitdiff | tree |
| 2015-02-19 |
jim | another round of cleanups
|
commit | commitdiff | tree |
| 2015-02-19 |
jim | lot of alpha-conversion
|
commit | commitdiff | tree |
| 2015-02-19 |
jim | more formatting, will now add substance
|
commit | commitdiff | tree |
| next |