projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
refine untyped_evaluator
[lambda.git]
/
exercises
/
2015-03-20
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-20
jim
tweaks
tree
|
commitdiff
2015-03-19
jim
argh... Haskell vs OCaml
tree
|
commitdiff
2015-03-19
jim
fix formatting of `1`
tree
|
commitdiff
2015-03-19
jim
updates, ready to post with promises
tree
|
commitdiff
2015-03-19
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-19
jim
rename exercises/_assignment6.mdwn to exercises/assignm...
tree
|
commitdiff
2015-03-16
Chris
edits
tree
|
commitdiff
2015-03-16
Chris
git is weird
tree
|
commitdiff
2015-03-15
chris
(no commit message)
tree
|
commitdiff
2015-03-15
chris
(no commit message)
tree
|
commitdiff
2015-03-15
chris
(no commit message)
tree
|
commitdiff
2015-03-15
chris
(no commit message)
tree
|
commitdiff
2015-03-15
Chris
edits
tree
|
commitdiff
2015-03-15
Chris
exx
tree
|
commitdiff
2015-03-14
Chris
exx
tree
|
commitdiff
2015-03-14
Chris
exx
tree
|
commitdiff
2015-03-14
Chris
moved files
tree
|
commitdiff
2015-03-14
Chris
edits
tree
|
commitdiff
2015-03-14
Chris
exx
tree
|
commitdiff
2015-03-14
Chris
edits
tree
|
commitdiff
2015-03-14
Chris
edits
tree
|
commitdiff
2015-03-14
Chris
exercises
tree
|
commitdiff
2015-03-14
Chris
developing exx
tree
|
commitdiff
2015-03-14
Chris
added reduction code
tree
|
commitdiff
2015-03-14
Chris
ass 6
tree
|
commitdiff
2015-03-14
Chris
move
tree
|
commitdiff
2015-03-14
Chris
hw6
tree
|
commitdiff
2015-03-14
Chris
edits
tree
|
commitdiff
2015-03-12
Chris
edits
tree
|
commitdiff
2015-03-11
Chris
added exercise
tree
|
commitdiff
2015-03-09
Chris
edits
tree
|
commitdiff
2015-03-09
Chris
started exercises
tree
|
commitdiff
2015-03-08
jim
simplify Haskell
tree
|
commitdiff
2015-03-08
jim
add comments about Haskell
tree
|
commitdiff
2015-03-08
jim
tweak explanation
tree
|
commitdiff
2015-03-08
jim
add more about numbers
tree
|
commitdiff
2015-03-08
jim
create page
tree
|
commitdiff
2015-03-08
jim
renumber yet again, please stick
tree
|
commitdiff
2015-03-08
jim
renumber hint again
tree
|
commitdiff
2015-03-08
jim
renumber hint
tree
|
commitdiff
2015-03-08
jim
cancel the System F lists -> OCaml
tree
|
commitdiff
2015-03-04
jim
reword problem
tree
|
commitdiff
2015-03-04
jim
add hint for tree enumeration
tree
|
commitdiff
2015-03-04
jim
create page
tree
|
commitdiff
2015-03-01
Chris
assignment5 live
tree
|
commitdiff
2015-03-01
jim
tweak types for list encoding
tree
|
commitdiff
2015-03-01
jim
more precise Pierce link
tree
|
commitdiff
2015-03-01
jim
link to hint
tree
|
commitdiff
2015-03-01
jim
create page
tree
|
commitdiff
2015-03-01
jim
create page
tree
|
commitdiff
2015-03-01
jim
ready to go?
tree
|
commitdiff
2015-03-01
jim
almost done
tree
|
commitdiff
2015-03-01
jim
revisions
tree
|
commitdiff
2015-03-01
jim
work in progress
tree
|
commitdiff
2015-03-01
jim
pred attribution
tree
|
commitdiff
2015-02-25
Chris
Merge branch 'working'
tree
|
commitdiff
2015-02-25
jim
wording
tree
|
commitdiff
2015-02-24
jim
probably most efficient
tree
|
commitdiff
2015-02-24
jim
third solution for left_head
tree
|
commitdiff
2015-02-24
Chris
merge
tree
|
commitdiff
2015-02-24
Chris
assignment 5 draft
tree
|
commitdiff
2015-02-24
Chris
merging edits
tree
|
commitdiff
2015-02-24
jim
tweak explanation of Bunder/Urbanek pred
tree
|
commitdiff
2015-02-24
jim
add comment
tree
|
commitdiff
2015-02-23
Chris
defined system f
tree
|
commitdiff
2015-02-23
jim
typos
tree
|
commitdiff
2015-02-23
jim
add note about generalization
tree
|
commitdiff
2015-02-23
jim
add note about generalization
tree
|
commitdiff
2015-02-23
jim
delete cruft
tree
|
commitdiff
2015-02-23
Chris
edits
tree
|
commitdiff
2015-02-23
Chris
Merge branch 'working'
tree
|
commitdiff
2015-02-23
jim
fix link
tree
|
commitdiff
2015-02-23
jim
create page
tree
|
commitdiff
2015-02-23
jim
add <a id=cps-reverse>
tree
|
commitdiff
2015-02-23
jim
not WIP
tree
|
commitdiff
2015-02-23
jim
tweak
tree
|
commitdiff
2015-02-23
jim
note on Little Schemer Ch. 8
tree
|
commitdiff
2015-02-23
jim
add comment about The Little Schemer
tree
|
commitdiff
2015-02-23
jim
add comment about The Little Schemer
tree
|
commitdiff
2015-02-23
jim
formatting
tree
|
commitdiff
2015-02-23
jim
add comments about The Little Schemer
tree
|
commitdiff
2015-02-22
jim
formatting
tree
|
commitdiff
2015-02-22
jim
add suggestion about leaf? function
tree
|
commitdiff
2015-02-22
jim
add head to list functions
tree
|
commitdiff
2015-02-21
Chris
typos
tree
|
commitdiff
2015-02-21
Chris
re-solved the mutual recursion problem, just for fun...
tree
|
commitdiff
2015-02-21
Jim
Merge branch 'working'
tree
|
commitdiff
2015-02-20
jim
rename exercises/_assignment4.mdwn to exercises/assignm...
tree
|
commitdiff
2015-02-20
jim
post tree questions
tree
|
commitdiff
2015-02-20
jim
tweak
tree
|
commitdiff
2015-02-20
jim
create page
tree
|
commitdiff
2015-02-20
jim
add link to hint
tree
|
commitdiff
2015-02-20
chris
(no commit message)
tree
|
commitdiff
2015-02-20
jim
revised inf arithmetic question again, like to ordinals...
tree
|
commitdiff
2015-02-20
jim
remind about section shorthand
tree
|
commitdiff
2015-02-20
jim
markup
tree
|
commitdiff
2015-02-20
jim
tweak inf arithmetic comment
tree
|
commitdiff
2015-02-20
jim
unfortunately, the infinite arithmetic question's argum...
tree
|
commitdiff
2015-02-20
jim
caps
tree
|
commitdiff
next