projects
/
lambda.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
fixed move gsv-jim.ml to gsv2.ml
2015-04-06
jim
update for rename of exercises/assignment7.mdwn to...
commit
|
commitdiff
|
tree
2015-04-06
jim
update for rename of exercises/assignment7.mdwn to...
commit
|
commitdiff
|
tree
2015-04-06
jim
rename exercises/assignment7.mdwn to exercises/assignment6...
commit
|
commitdiff
|
tree
2015-04-06
jim
update for rename of exercises/assignment8.mdwn to...
commit
|
commitdiff
|
tree
2015-04-06
jim
rename exercises/assignment8.mdwn to exercises/assignment8...
commit
|
commitdiff
|
tree
2015-04-06
jim
refine assignment
commit
|
commitdiff
|
tree
2015-04-06
jim
post date for week 10
commit
|
commitdiff
|
tree
2015-04-06
jim
post GSV
commit
|
commitdiff
|
tree
2015-04-06
jim
post homework
commit
|
commitdiff
|
tree
2015-04-06
jim
rename exercises/_assignment8.mdwn to exercises/assignment8...
commit
|
commitdiff
|
tree
2015-04-06
jim
refine
commit
|
commitdiff
|
tree
2015-04-06
jim
post more problems
commit
|
commitdiff
|
tree
2015-04-06
Jim
remove old code
commit
|
commitdiff
|
tree
2015-04-06
jim
add toc
commit
|
commitdiff
|
tree
2015-04-06
jim
re-organize some links
commit
|
commitdiff
|
tree
2015-04-06
jim
change week8 ramble title
commit
|
commitdiff
|
tree
2015-04-06
jim
update for rename of topics/week8_ramble.mdwn to topics...
commit
|
commitdiff
|
tree
2015-04-06
jim
rename topics/week8_ramble.mdwn to topics/week8_monads_and_m...
commit
|
commitdiff
|
tree
2015-04-06
jim
revise, update for Juli8 1.3
commit
|
commitdiff
|
tree
2015-04-05
jim
explain changes in Juli8 v1.3
commit
|
commitdiff
|
tree
2015-04-05
jim
update
commit
|
commitdiff
|
tree
2015-04-05
jim
make download link bold
commit
|
commitdiff
|
tree
2015-04-05
jim
update Juli8 to 1.3, fix link
commit
|
commitdiff
|
tree
2015-04-05
jim
Juli8 to 1.3
commit
|
commitdiff
|
tree
2015-04-05
jim
various
commit
|
commitdiff
|
tree
2015-04-05
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-05
Jim
add Juli8-v1.3
commit
|
commitdiff
|
tree
2015-04-05
jim
remove "in progress" on Juli8
commit
|
commitdiff
|
tree
2015-04-05
jim
tweaks
commit
|
commitdiff
|
tree
2015-04-05
jim
add explanations of Juli8 for OCaml
commit
|
commitdiff
|
tree
2015-04-05
jim
tweaks
commit
|
commitdiff
|
tree
2015-04-04
jim
add readline commands
commit
|
commitdiff
|
tree
2015-04-04
jim
add all links
commit
|
commitdiff
|
tree
2015-04-04
jim
add link to Juli8
commit
|
commitdiff
|
tree
2015-04-04
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-04
Jim
tweak reader2.ml, add Juli8.tgz
commit
|
commitdiff
|
tree
2015-04-04
jim
tweak
commit
|
commitdiff
|
tree
2015-04-04
jim
add more about haskell
commit
|
commitdiff
|
tree
2015-04-04
jim
tweaks
commit
|
commitdiff
|
tree
2015-04-04
jim
add Haskell instructions
commit
|
commitdiff
|
tree
2015-04-04
jim
update for rename of topics/week9_using_the_juli8_libraries...
commit
|
commitdiff
|
tree
2015-04-04
jim
rename topics/week9_using_the_juli8_libraries.mdwn...
commit
|
commitdiff
|
tree
2015-04-04
jim
tweaks
commit
|
commitdiff
|
tree
2015-04-04
jim
update for rename of topics/week9_using_the_juli8_library...
commit
|
commitdiff
|
tree
2015-04-04
jim
rename topics/week9_using_the_juli8_library.mdwn to...
commit
|
commitdiff
|
tree
2015-04-04
jim
remove comments
commit
|
commitdiff
|
tree
2015-04-04
jim
add comments
commit
|
commitdiff
|
tree
2015-04-04
jim
add link to using Juli8
commit
|
commitdiff
|
tree
2015-04-04
jim
create page
commit
|
commitdiff
|
tree
2015-04-04
jim
update for rename of topics/week9_using_monad_library...
commit
|
commitdiff
|
tree
2015-04-04
jim
rename topics/week9_using_monad_library.mdwn to topics...
commit
|
commitdiff
|
tree
2015-04-04
jim
clean up a bit
commit
|
commitdiff
|
tree
2015-04-04
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-04
Jim
add/update monad code
commit
|
commitdiff
|
tree
2015-04-04
jim
link to Using monad library
commit
|
commitdiff
|
tree
2015-04-04
jim
create page
commit
|
commitdiff
|
tree
2015-04-02
jim
fix some typos
commit
|
commitdiff
|
tree
2015-04-02
jim
fix some markup
commit
|
commitdiff
|
tree
2015-04-02
jim
post ramble
commit
|
commitdiff
|
tree
2015-04-02
jim
post link to week8_ramble
commit
|
commitdiff
|
tree
2015-04-01
jim
add quick instructions
commit
|
commitdiff
|
tree
2015-04-01
jim
post links to Juli8 and Monad.ml
commit
|
commitdiff
|
tree
2015-04-01
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-01
Jim
add OCaml main+list+monad libraries
commit
|
commitdiff
|
tree
2015-04-01
jim
stubs
commit
|
commitdiff
|
tree
2015-03-27
jim
cyclic structures
commit
|
commitdiff
|
tree
2015-03-25
jim
typo, thanks Kyle
commit
|
commitdiff
|
tree
2015-03-25
Jim
typo in untyped_evaluator
commit
|
commitdiff
|
tree
2015-03-25
Jim
fix another typo on ski_evaluator
commit
|
commitdiff
|
tree
2015-03-25
Jim
fix typo on ski_evaluator
commit
|
commitdiff
|
tree
2015-03-25
Jim
fix result types on ski_evaluator
commit
|
commitdiff
|
tree
2015-03-25
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-25
Jim
add comments to ski_evaluator
commit
|
commitdiff
|
tree
2015-03-25
jim
shell scripts use dynamic binding
commit
|
commitdiff
|
tree
2015-03-25
jim
typo
commit
|
commitdiff
|
tree
2015-03-25
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-25
Jim
update untyped_eval to 1.7
commit
|
commitdiff
|
tree
2015-03-24
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-24
Jim
Revert "update untyped_eval to 1.6"
commit
|
commitdiff
|
tree
2015-03-24
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-24
Jim
update untyped_eval to 1.6
commit
|
commitdiff
|
tree
2015-03-24
jim
post hidden stuff
commit
|
commitdiff
|
tree
2015-03-24
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-24
Jim
update untyped_eval to 1.5
commit
|
commitdiff
|
tree
2015-03-24
jim
T combinator
commit
|
commitdiff
|
tree
2015-03-24
Jim
update untyped_eval to 1.4
commit
|
commitdiff
|
tree
2015-03-24
jim
remove TODO
commit
|
commitdiff
|
tree
2015-03-24
jim
more results that aren't terms
commit
|
commitdiff
|
tree
2015-03-24
jim
expand about environments
commit
|
commitdiff
|
tree
2015-03-24
jim
add parentheses
commit
|
commitdiff
|
tree
2015-03-24
jim
tweak
commit
|
commitdiff
|
tree
2015-03-24
jim
inconsistent-->unsound
commit
|
commitdiff
|
tree
2015-03-24
jim
≡ means syntactic identity, not equivalence
commit
|
commitdiff
|
tree
2015-03-24
jim
whoops, tree_best_sofar (direct) had a bug
commit
|
commitdiff
|
tree
2015-03-24
jim
fix link
commit
|
commitdiff
|
tree
2015-03-24
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-24
Jim
symlink doesn't work
commit
|
commitdiff
|
tree
2015-03-24
jim
add toc
commit
|
commitdiff
|
tree
2015-03-24
jim
update link
commit
|
commitdiff
|
tree
2015-03-24
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
next