| 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 |
| 2015-02-19 |
jim | more formatting
|
commit | commitdiff | tree |
| 2015-02-19 |
jim | try to make notice bolder
|
commit | commitdiff | tree |
| 2015-02-19 |
jim | first pass, lots of formatting changes
|
commit | commitdiff | tree |
| 2015-02-19 |
jim | add anchor for imp
|
commit | commitdiff | tree |
| 2015-02-19 |
jim | add prefix
|
commit | commitdiff | tree |
| 2015-02-19 |
jim | post stubs for week4
|
commit | commitdiff | tree |
| 2015-02-19 |
Jim | add some images
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | add two sentences
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | markup and typos, add commented note
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | link to Unit
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | link to Unit
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | finish
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | update
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | update
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | markup
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | create page
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | add more anchors
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | post answers
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | rename exercises/_assignment2_answers.mdwn to exercises...
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | post Hankin Chapter 4 reading, answers to homework 2
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | further refinements
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | fix markup
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | add shortcut rule to translation, refined exposition
|
commit | commitdiff | tree |
| 2015-02-18 |
jim | Add old translation scheme back in (commented out)...
|
commit | commitdiff | tree |
| 2015-02-16 |
jim | tweak
|
commit | commitdiff | tree |
| 2015-02-15 |
jim | cleanup
|
commit | commitdiff | tree |
| 2015-02-15 |
jim | Kyle pointed out we had them define head in terms of...
|
commit | commitdiff | tree |
| 2015-02-15 |
jim | update links
|
commit | commitdiff | tree |
| 2015-02-15 |
jim | update links
|
commit | commitdiff | tree |
| 2015-02-15 |
jim | add #other-lists
|
commit | commitdiff | tree |
| 2015-02-15 |
jim | add new encodings
|
commit | commitdiff | tree |
| 2015-02-15 |
jim | refinements
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | glossary for joke
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | add Lennon link
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | cleanup
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | tweak omega names
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | add names for omega and Omega
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | tweak
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | reorder
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | clean up
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | tweak
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | alignment
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | post arithmetic
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | post arithmetic
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | Cleanup and finish
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | create page
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | Move map2 question
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | add map2 extra credit
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | update with week3 links
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | remove final "please wait..." notice
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | post homework3 and some more link-promises
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | clarify dot rule
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | clarify instructions
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | clarify instructions
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | formatting
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | tweak
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | tweak
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | tweak
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | tweak
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | create page
|
commit | commitdiff | tree |
| 2015-02-14 |
jim | add list_equal? and zero?, formatting
|
commit | commitdiff | tree |
| 2015-02-12 |
jim | tweaks, links
|
commit | commitdiff | tree |
| 2015-02-12 |
jim | add anchors
|
commit | commitdiff | tree |
| 2015-02-12 |
Jim | combinatory tweaks and formatting
|
commit | commitdiff | tree |
| 2015-02-12 |
Jim | combinatory tweaks and formatting
|
commit | commitdiff | tree |
| 2015-02-12 |
Jim | combinatory tweaks and formatting
|
commit | commitdiff | tree |
| 2015-02-12 |
Jim | combinatory tweaks and formatting
|
commit | commitdiff | tree |
| next |