| 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 |
| 2015-02-19 |
jim | first pass, lots of formatting changes |
commit | commitdiff | tree | snapshot |
| 2015-02-19 |
jim | add anchor for imp |
commit | commitdiff | tree | snapshot |
| 2015-02-19 |
jim | add prefix |
commit | commitdiff | tree | snapshot |
| 2015-02-19 |
chris | (no commit message) |
commit | commitdiff | tree | snapshot |
| 2015-02-19 |
chris | (no commit message) |
commit | commitdiff | tree | snapshot |
| 2015-02-19 |
chris | (no commit message) |
commit | commitdiff | tree | snapshot |
| 2015-02-19 |
Chris | added exercises |
commit | commitdiff | tree | snapshot |
| 2015-02-19 |
jim | post stubs for week4 |
commit | commitdiff | tree | snapshot |
| 2015-02-19 |
Jim | add some images |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | add two sentences |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
Chris | typos |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
Chris | added draft of assignment4 |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
Chris | moved fixed point for succ to exercises |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | markup and typos, add commented note |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | link to Unit |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | link to Unit |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | finish |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | update |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | update |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | markup |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | create page |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | add more anchors |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | post answers |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | rename exercises/_assignment2_answers.mdwn to exercises... |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | post Hankin Chapter 4 reading, answers to homework 2 |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | further refinements |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | fix markup |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | add shortcut rule to translation, refined exposition |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
jim | Add old translation scheme back in (commented out)... |
commit | commitdiff | tree | snapshot |
| 2015-02-17 |
Chris | typo |
commit | commitdiff | tree | snapshot |
| 2015-02-17 |
Chris | the succ fixed point as arithmetic infinity |
commit | commitdiff | tree | snapshot |
| 2015-02-17 |
Chris | edits |
commit | commitdiff | tree | snapshot |
| 2015-02-17 |
chris | (no commit message) |
commit | commitdiff | tree | snapshot |
| 2015-02-17 |
Chris | edits for fixed-point |
commit | commitdiff | tree | snapshot |
| 2015-02-17 |
Chris | replace get_length with length |
commit | commitdiff | tree | snapshot |
| 2015-02-17 |
Chris | added disclaimer about revised lambda->CL map |
commit | commitdiff | tree | snapshot |
| 2015-02-16 |
Chris | adjust |
commit | commitdiff | tree | snapshot |
| 2015-02-16 |
Chris | switched the map from lambda to CL back to Barendregt's |
commit | commitdiff | tree | snapshot |
| 2015-02-16 |
jim | tweak |
commit | commitdiff | tree | snapshot |
| 2015-02-15 |
jim | cleanup |
commit | commitdiff | tree | snapshot |
| 2015-02-15 |
jim | Kyle pointed out we had them define head in terms of... |
commit | commitdiff | tree | snapshot |
| 2015-02-15 |
jim | update links |
commit | commitdiff | tree | snapshot |
| 2015-02-15 |
jim | update links |
commit | commitdiff | tree | snapshot |
| 2015-02-15 |
jim | add #other-lists |
commit | commitdiff | tree | snapshot |
| next |