projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
add Unreliable Guide OCaml Modules
[lambda.git]
/ exercises
2015-04-30
Jim
Merge branch 'working'
commit
|
commitdiff
2015-04-30
jim
add anchor
commit
|
commitdiff
2015-04-29
Jim
Merge branch 'working'
commit
|
commitdiff
2015-04-29
jim
add more anchors
commit
|
commitdiff
2015-04-29
jim
formatting
commit
|
commitdiff
2015-04-29
jim
add anchors
commit
|
commitdiff
2015-04-29
Jim
Merge branch 'working'
commit
|
commitdiff
2015-04-26
Chris
changes
commit
|
commitdiff
2015-04-25
jim
rename exercises/_assignment12.mdwn to exercises/assign...
commit
|
commitdiff
2015-04-25
jim
overhaul
commit
|
commitdiff
2015-04-25
jim
some refactoring, including exposition
commit
|
commitdiff
2015-04-25
jim
add #fringe
commit
|
commitdiff
2015-04-23
jim
should be more-or-less ready
commit
|
commitdiff
2015-04-23
Jim
add some old files
commit
|
commitdiff
2015-04-07
Jim
Merge branch 'working'
commit
|
commitdiff
2015-04-07
jim
create page for assignment8-9 answers (no answers yet)
commit
|
commitdiff
2015-04-07
jim
create (unfinished) answers for assignment7
commit
|
commitdiff
2015-04-06
Jim
Merge branch 'working'
commit
|
commitdiff
2015-04-06
jim
remark on PJ
commit
|
commitdiff
2015-04-06
jim
change x,y to n,m
commit
|
commitdiff
2015-04-06
jim
add link to assignment7
commit
|
commitdiff
2015-04-06
jim
or Haskell
commit
|
commitdiff
2015-04-06
jim
rename exercises/assignment5_answers.mdwn to exercises...
commit
|
commitdiff
2015-04-06
jim
update for rename of exercises/assignment5.mdwn to...
commit
|
commitdiff
2015-04-06
jim
rename exercises/assignment5.mdwn to exercises/assignme...
commit
|
commitdiff
2015-04-06
jim
update for rename of exercises/assignment6-7.mdwn to...
commit
|
commitdiff
2015-04-06
jim
rename exercises/assignment6-7.mdwn to exercises/assign...
commit
|
commitdiff
2015-04-06
jim
update for rename of exercises/assignment7.mdwn to...
commit
|
commitdiff
2015-04-06
jim
rename exercises/assignment7.mdwn to exercises/assignme...
commit
|
commitdiff
2015-04-06
jim
rename exercises/assignment8.mdwn to exercises/assignme...
commit
|
commitdiff
2015-04-06
jim
refine assignment
commit
|
commitdiff
2015-04-06
jim
rename exercises/_assignment8.mdwn to exercises/assignm...
commit
|
commitdiff
2015-04-06
jim
refine
commit
|
commitdiff
2015-04-06
jim
post more problems
commit
|
commitdiff
2015-04-04
Jim
Merge branch 'working'
commit
|
commitdiff
2015-04-04
Chris
one more exercise
commit
|
commitdiff
2015-04-04
Jim
Merge branch 'working'
commit
|
commitdiff
2015-04-03
chris
(no commit message)
commit
|
commitdiff
2015-04-03
Chris
exercises
commit
|
commitdiff
2015-04-01
Jim
Merge branch 'working'
commit
|
commitdiff
2015-03-30
Chris
reader monad
commit
|
commitdiff
2015-03-24
jim
add parentheses
commit
|
commitdiff
2015-03-24
jim
inconsistent-->unsound
commit
|
commitdiff
2015-03-24
jim
≡ means syntactic identity, not equivalence
commit
|
commitdiff
2015-03-24
jim
whoops, tree_best_sofar (direct) had a bug
commit
|
commitdiff
2015-03-24
jim
fix link
commit
|
commitdiff
2015-03-23
jim
update for rename of topics/closures.mdwn to topics...
commit
|
commitdiff
2015-03-23
jim
extract closures discussion to separate page
commit
|
commitdiff
2015-03-23
jim
add more bold
commit
|
commitdiff
2015-03-23
jim
add toc
commit
|
commitdiff
2015-03-23
jim
tweak
commit
|
commitdiff
2015-03-23
jim
add explanation of Closures
commit
|
commitdiff
2015-03-23
jim
fix markup
commit
|
commitdiff
2015-03-23
jim
fix markup
commit
|
commitdiff
2015-03-23
jim
add #occurs_free
commit
|
commitdiff
2015-03-23
jim
add #occurs_free
commit
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
commit
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
commit
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
commit
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
commit
|
commitdiff
2015-03-23
jim
markup
commit
|
commitdiff
2015-03-23
jim
use arrow for mid
commit
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
commit
|
commitdiff
2015-03-22
Jim
Merge branch 'working'
commit
|
commitdiff
2015-03-22
jim
More explicitness
commit
|
commitdiff
2015-03-22
jim
formatting
commit
|
commitdiff
2015-03-22
Jim
Merge branch 'working'
commit
|
commitdiff
2015-03-21
jim
tweaks
commit
|
commitdiff
2015-03-21
jim
removed
commit
|
commitdiff
2015-03-21
jim
finish
commit
|
commitdiff
2015-03-21
jim
add set_equal?
commit
|
commitdiff
2015-03-21
jim
most answers done
commit
|
commitdiff
2015-03-21
jim
removed
commit
|
commitdiff
2015-03-21
jim
fix type of sysf_iszero, add sysf_pred
commit
|
commitdiff
2015-03-21
jim
Explain why blackhole and blackhole () can have the...
commit
|
commitdiff
2015-03-21
jim
expand about eval order
commit
|
commitdiff
2015-03-21
jim
fix explanation of rejected types
commit
|
commitdiff
2015-03-21
jim
replace deleted line
commit
|
commitdiff
2015-03-21
jim
replace deleted line
commit
|
commitdiff
2015-03-21
jim
tweak
commit
|
commitdiff
2015-03-21
jim
fix System F booleans
commit
|
commitdiff
2015-03-21
jim
spelling
commit
|
commitdiff
2015-03-21
jim
markup
commit
|
commitdiff
2015-03-21
jim
tweak
commit
|
commitdiff
2015-03-21
jim
add some more
commit
|
commitdiff
2015-03-21
jim
add some stuff
commit
|
commitdiff
2015-03-21
jim
more answers
commit
|
commitdiff
2015-03-21
jim
add some more
commit
|
commitdiff
2015-03-21
jim
add some answers
commit
|
commitdiff
2015-03-21
jim
add hints
commit
|
commitdiff
2015-03-21
jim
create page
commit
|
commitdiff
2015-03-21
jim
create page
commit
|
commitdiff
2015-03-20
Jim
update homework
commit
|
commitdiff
2015-03-20
Jim
Merge branch 'working'
commit
|
commitdiff
2015-03-20
jim
tweaks
commit
|
commitdiff
2015-03-19
jim
argh... Haskell vs OCaml
commit
|
commitdiff
2015-03-19
jim
fix formatting of `1`
commit
|
commitdiff
2015-03-19
jim
updates, ready to post with promises
commit
|
commitdiff
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
2015-03-19
jim
rename exercises/_assignment6.mdwn to exercises/assignm...
commit
|
commitdiff
next