projects
/
lambda.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cancel the System F lists -> OCaml
2015-03-08
jim
cancel the System F lists -> OCaml
commit
|
commitdiff
|
tree
2015-03-05
jim
fix markup
commit
|
commitdiff
|
tree
2015-03-04
jim
reword problem
commit
|
commitdiff
|
tree
2015-03-04
jim
add hint for tree enumeration
commit
|
commitdiff
|
tree
2015-03-04
jim
create page
commit
|
commitdiff
|
tree
2015-03-04
jim
boldface brief intro and promote
commit
|
commitdiff
|
tree
2015-03-04
jim
boldface two intro docs, reorganize
commit
|
commitdiff
|
tree
2015-03-03
jim
post King readings
commit
|
commitdiff
|
tree
2015-03-03
jim
typo
commit
|
commitdiff
|
tree
2015-03-03
jim
post King readings, reorganize
commit
|
commitdiff
|
tree
2015-03-03
jim
typo
commit
|
commitdiff
|
tree
2015-03-03
jim
post readings
commit
|
commitdiff
|
tree
2015-03-03
jim
post readings
commit
|
commitdiff
|
tree
2015-03-02
jim
release existing versions
commit
|
commitdiff
|
tree
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
chris
(no commit message)
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-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
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
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-24
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-24
chris
(no commit message)
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
chris
(no commit message)
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
chris
(no commit message)
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-22
chris
(no commit message)
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
chris
(no commit message)
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
next