| 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 |
| 2015-02-15 |
jim | add new encodings |
commit | commitdiff | tree | snapshot |
| 2015-02-15 |
jim | refinements |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | glossary for joke |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | add Lennon link |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | cleanup |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | tweak omega names |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | add names for omega and Omega |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | tweak |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | reorder |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | clean up |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | tweak |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | alignment |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | post arithmetic |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | post arithmetic |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | Cleanup and finish |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | create page |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | Move map2 question |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | add map2 extra credit |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | update with week3 links |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | remove final "please wait..." notice |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | post homework3 and some more link-promises |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | clarify dot rule |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | clarify instructions |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | clarify instructions |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | formatting |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | tweak |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | tweak |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | tweak |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | tweak |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | create page |
commit | commitdiff | tree | snapshot |
| 2015-02-14 |
jim | add list_equal? and zero?, formatting |
commit | commitdiff | tree | snapshot |
| 2015-02-12 |
jim | tweaks, links |
commit | commitdiff | tree | snapshot |
| 2015-02-12 |
jim | add anchors |
commit | commitdiff | tree | snapshot |
| next |