2015-02-23 |
chris | (no commit message) |
commit | commitdiff | tree | snapshot |
2015-02-23 |
Chris | Merge branch 'working' |
commit | commitdiff | tree | snapshot |
2015-02-23 |
Chris | edits in eval order |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | post answers |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | post week 3 answers |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | fix link |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | add <a id=flipped-cons> |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | create page |
commit | commitdiff | tree | snapshot |
2015-02-23 |
chris | (no commit message) |
commit | commitdiff | tree | snapshot |
2015-02-23 |
Chris | incorporated |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | add <a id=cps-reverse> |
commit | commitdiff | tree | snapshot |
2015-02-23 |
Chris | edits |
commit | commitdiff | tree | snapshot |
2015-02-23 |
Chris | added discussion of Montague's PTQ |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | not WIP |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | tweak |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | note on Little Schemer Ch. 8 |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | More comments on The Little Schemer, non-total functions |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | fix link |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | add Q comparing our exposition to The Little Schemer's |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | add <a id=little-h> |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | The Little Schemer's eternity |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | add comment about The Little Schemer |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | add note about The Little Schemer |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | add comment about The Little Schemer |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | formatting |
commit | commitdiff | tree | snapshot |
2015-02-23 |
jim | add comments about The Little Schemer |
commit | commitdiff | tree | snapshot |
2015-02-22 |
jim | formatting |
commit | commitdiff | tree | snapshot |
2015-02-22 |
jim | add suggestion about leaf? function |
commit | commitdiff | tree | snapshot |
2015-02-22 |
Chris | Added system F |
commit | commitdiff | tree | snapshot |
2015-02-22 |
jim | tweaks |
commit | commitdiff | tree | snapshot |
2015-02-22 |
Chris | stupid git |
commit | commitdiff | tree | snapshot |
2015-02-22 |
Chris | edits |
commit | commitdiff | tree | snapshot |
2015-02-22 |
jim | missing paren |
commit | commitdiff | tree | snapshot |
2015-02-22 |
jim | add paragraph about Little Schemer |
commit | commitdiff | tree | snapshot |
2015-02-22 |
Chris | edits |
commit | commitdiff | tree | snapshot |
2015-02-22 |
jim | tweaks |
commit | commitdiff | tree | snapshot |
2015-02-22 |
Chris | Merge branch 'master' of main.jimpryor.net:/srv/lambda... |
commit | commitdiff | tree | snapshot |
2015-02-22 |
jim | add explanatory paragraph |
commit | commitdiff | tree | snapshot |
2015-02-22 |
Chris | Merge branch 'working' |
commit | commitdiff | tree | snapshot |
2015-02-22 |
Chris | why |
commit | commitdiff | tree | snapshot |
2015-02-22 |
jim | clean up last Q&A |
commit | commitdiff | tree | snapshot |
2015-02-22 |
jim | add head to list functions |
commit | commitdiff | tree | snapshot |
2015-02-22 |
chris | (no commit message) |
commit | commitdiff | tree | snapshot |
2015-02-22 |
Chris | edits |
commit | commitdiff | tree | snapshot |
2015-02-22 |
Chris | edits |
commit | commitdiff | tree | snapshot |
2015-02-22 |
Chris | edits |
commit | commitdiff | tree | snapshot |
2015-02-21 |
Chris | edits |
commit | commitdiff | tree | snapshot |
2015-02-21 |
Chris | edits |
commit | commitdiff | tree | snapshot |
2015-02-21 |
Chris | edits |
commit | commitdiff | tree | snapshot |
2015-02-21 |
Chris | edits |
commit | commitdiff | tree | snapshot |
2015-02-21 |
Chris | starting lecture on types |
commit | commitdiff | tree | snapshot |
2015-02-21 |
Chris | typos |
commit | commitdiff | tree | snapshot |
2015-02-21 |
Chris | re-solved the mutual recursion problem, just for fun... |
commit | commitdiff | tree | snapshot |
2015-02-21 |
Jim | Merge branch 'working' |
commit | commitdiff | tree | snapshot |
2015-02-21 |
Jim | replace tattoo image |
commit | commitdiff | tree | snapshot |
2015-02-21 |
jim | fix some markup |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | post homework4 |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | post homework4 |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | rename exercises/_assignment4.mdwn to exercises/assignm... |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | post tree questions |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | tweak |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | create page |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | add link to hint |
commit | commitdiff | tree | snapshot |
2015-02-20 |
chris | (no commit message) |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | revised inf arithmetic question again, like to ordinals... |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | remind about section shorthand |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | markup |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | tweak inf arithmetic comment |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | unfortunately, the infinite arithmetic question's argum... |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | caps |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | add more list functions to set question |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | need empty? for set questions |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | update links |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | add anchor #deriving-y |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | markup |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | add chris's YY question, further refinements elsewhere |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | update some functions |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | more cleanup |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | some cleanup, add set question |
commit | commitdiff | tree | snapshot |
2015-02-20 |
Jim | Merge branch 'working' |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | posted more about... for week 4 |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | posted more about... for week 4 |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | rename topics/week4_more_fixed_points.mdwn to topics... |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | cleanup |
commit | commitdiff | tree | snapshot |
2015-02-20 |
Jim | tweak comment |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | Alpha-convert booleans |
commit | commitdiff | tree | snapshot |
2015-02-20 |
Jim | push (old version of) q&a on fixed points |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | clean up week 3 |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | post main Y notes, stubs for others |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | post main Y notes |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | clean up, move liar/truth-teller to separate document |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | rename topics/_week4_fixed_point_combinators.mdwn to... |
commit | commitdiff | tree | snapshot |
2015-02-20 |
jim | rename topics/_week4_fixed_point_combinator.mdwn to... |
commit | commitdiff | tree | snapshot |
2015-02-19 |
jim | last commit before class, there are still some comments... |
commit | commitdiff | tree | snapshot |
2015-02-19 |
chris | (no commit message) |
commit | commitdiff | tree | snapshot |
2015-02-19 |
jim | another round of cleanups |
commit | commitdiff | tree | snapshot |
2015-02-19 |
jim | lot of alpha-conversion |
commit | commitdiff | tree | snapshot |
2015-02-19 |
jim | more formatting, will now add substance |
commit | commitdiff | tree | snapshot |
2015-02-19 |
jim | more formatting |
commit | commitdiff | tree | snapshot |
2015-02-19 |
jim | try to make notice bolder |
commit | commitdiff | tree | snapshot |
next |