projects
/
lambda.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
fixed let->letrec, added extra credit
2015-01-31
Jim
fixed let->letrec, added extra credit
commit
|
commitdiff
|
tree
2015-01-31
Jim
begone evil tabs
commit
|
commitdiff
|
tree
2015-01-31
Jim
added assignment 1, take 1
commit
|
commitdiff
|
tree
2015-01-31
Jim
note about refreshing page, notes for us to add later
commit
|
commitdiff
|
tree
2015-01-31
Jim
tweaks
commit
|
commitdiff
|
tree
2015-01-31
Jim
refine intro page
commit
|
commitdiff
|
tree
2015-01-31
Jim
scare quotes around 'pure' for untyped lambda
commit
|
commitdiff
|
tree
2015-01-31
Jim
Refine intro page, add stub for Topics-and-themes page
commit
|
commitdiff
|
tree
2015-01-31
Jim
formatting
commit
|
commitdiff
|
tree
2015-01-31
Jim
Fix notes on Scheme OCaml Haskell
commit
|
commitdiff
|
tree
2015-01-30
Jim
Refine notes on Scheme OCaml Haskell
commit
|
commitdiff
|
tree
2015-01-30
Jim
add info about getting scheme
commit
|
commitdiff
|
tree
2015-01-30
Jim
rm test5
commit
|
commitdiff
|
tree
2015-01-30
Jim
add test5
commit
|
commitdiff
|
tree
2015-01-30
Jim
announce re emails and doodle
commit
|
commitdiff
|
tree
2015-01-30
Jim
remove test3 file
commit
|
commitdiff
|
tree
2015-01-30
Jim
adding test3 file
commit
|
commitdiff
|
tree
2015-01-30
Jim
update meeting time/place
commit
|
commitdiff
|
tree
2015-01-30
Jim
remove test file
commit
|
commitdiff
|
tree
2015-01-30
Jim
move test1->test2
commit
|
commitdiff
|
tree
2015-01-30
Jim
test1
commit
|
commitdiff
|
tree
2015-01-30
Jim
refresh info on books
commit
|
commitdiff
|
tree
2015-01-29
Jim
point to old course site
commit
|
commitdiff
|
tree
2015-01-29
Linux User
Quick refresh of frontpage
commit
|
commitdiff
|
tree
2015-01-29
Linux User
Move everything to old
commit
|
commitdiff
|
tree
2011-06-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-04
Jim Pryor
add gitweb.css
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-04
Jim Pryor
recolor favicon
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-04
Jim Pryor
add favicon
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-02
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-02
Jim Pryor
added same-fringe
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
move templates outside document root
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try unicode
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try mathml
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try mathjax
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try jsmath
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try latexmathml
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try mathml
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try google math
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
make links to math javascripts absolute
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
add page.tmpl link
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
move mathml support files outside document root
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
added math templates
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
re-add mathml.js
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
added LaTeXMathML files
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
added jsMath files
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
cleanup
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
cleanup
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
add some math rendering support files
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-05-30
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-05-30
Jim Pryor
moved index to .pdc
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-05-29
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-05-29
Jim Pryor
assignment 4 hint 3 alt 2: how did this get deleted?
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-05-29
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-05-29
Jim Pryor
monads: add permute,select for List.T
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-03-06
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-03-06
Jim Pryor
index: haskell uptake :-)
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-02-26
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-02-26
Jim Pryor
dybvig errata
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-02-26
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-02-26
Jim Pryor
learning scheme: added Dybvig
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-02-22
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-02-22
Jim Pryor
what is fp?
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-02-20
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-02-20
Jim Pryor
monads.ml tweak
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-02-20
Jim Pryor
linked to OCaml for Haskellers
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-01-12
Jim Pryor
update .gitignore
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-25
Jim Pryor
Revert "testing pandoc"
commit
|
commitdiff
|
tree
2010-12-25
Jim Pryor
testing pandoc
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-24
Jim Pryor
ass10 tweaks
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-24
Jim Pryor
ass10 hint tweaks
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-24
Jim Pryor
ass10 hint tweaks
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-24
Jim Pryor
ass10 hint tweaks
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-24
Jim Pryor
ass10 hint tweaks
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-24
Jim Pryor
ass10 hints
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-24
Jim Pryor
prep ass10 for more hints
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-23
Jim Pryor
add expose to monads.ml
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-23
Jim Pryor
ass10 tweaks
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-23
Jim Pryor
ass10 tweaks
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-23
Jim Pryor
ass10 tweak
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-22
Jim Pryor
cps tweaks
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-22
Jim Pryor
cps tweaks
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-22
Jim Pryor
cps tweaks
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2010-12-21
Jim Pryor
cps: delta tweak
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
next