projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
move link
[lambda.git]
/
exercises
/
2015-03-22
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-22
jim
More explicitness
tree
|
commitdiff
2015-03-22
jim
formatting
tree
|
commitdiff
2015-03-22
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-21
jim
tweaks
tree
|
commitdiff
2015-03-21
jim
removed
tree
|
commitdiff
2015-03-21
jim
finish
tree
|
commitdiff
2015-03-21
jim
add set_equal?
tree
|
commitdiff
2015-03-21
jim
most answers done
tree
|
commitdiff
2015-03-21
jim
removed
tree
|
commitdiff
2015-03-21
jim
fix type of sysf_iszero, add sysf_pred
tree
|
commitdiff
2015-03-21
jim
Explain why blackhole and blackhole () can have the...
tree
|
commitdiff
2015-03-21
jim
expand about eval order
tree
|
commitdiff
2015-03-21
jim
fix explanation of rejected types
tree
|
commitdiff
2015-03-21
jim
replace deleted line
tree
|
commitdiff
2015-03-21
jim
replace deleted line
tree
|
commitdiff
2015-03-21
jim
tweak
tree
|
commitdiff
2015-03-21
jim
fix System F booleans
tree
|
commitdiff
2015-03-21
jim
spelling
tree
|
commitdiff
2015-03-21
jim
markup
tree
|
commitdiff
2015-03-21
jim
tweak
tree
|
commitdiff
2015-03-21
jim
add some more
tree
|
commitdiff
2015-03-21
jim
add some stuff
tree
|
commitdiff
2015-03-21
jim
more answers
tree
|
commitdiff
2015-03-21
jim
add some more
tree
|
commitdiff
2015-03-21
jim
add some answers
tree
|
commitdiff
2015-03-21
jim
add hints
tree
|
commitdiff
2015-03-21
jim
create page
tree
|
commitdiff
2015-03-21
jim
create page
tree
|
commitdiff
2015-03-20
Jim
update homework
tree
|
commitdiff
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
next