projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
add OCaml main+list+monad libraries
[lambda.git]
/
exercises
/
2015-03-24
jim
add parentheses
tree
|
commitdiff
2015-03-24
jim
inconsistent-->unsound
tree
|
commitdiff
2015-03-24
jim
≡ means syntactic identity, not equivalence
tree
|
commitdiff
2015-03-24
jim
whoops, tree_best_sofar (direct) had a bug
tree
|
commitdiff
2015-03-24
jim
fix link
tree
|
commitdiff
2015-03-23
jim
update for rename of topics/closures.mdwn to topics...
tree
|
commitdiff
2015-03-23
jim
extract closures discussion to separate page
tree
|
commitdiff
2015-03-23
jim
add more bold
tree
|
commitdiff
2015-03-23
jim
add toc
tree
|
commitdiff
2015-03-23
jim
tweak
tree
|
commitdiff
2015-03-23
jim
add explanation of Closures
tree
|
commitdiff
2015-03-23
jim
fix markup
tree
|
commitdiff
2015-03-23
jim
fix markup
tree
|
commitdiff
2015-03-23
jim
add #occurs_free
tree
|
commitdiff
2015-03-23
jim
add #occurs_free
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
jim
markup
tree
|
commitdiff
2015-03-23
jim
use arrow for mid
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
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
next