projects
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
lambda.git
2015-03-20
Chris
edits
commit
|
commitdiff
|
tree
|
snapshot
2015-03-20
Chris
double box
commit
|
commitdiff
|
tree
|
snapshot
2015-03-20
jim
refine
commit
|
commitdiff
|
tree
|
snapshot
2015-03-20
jim
expanding
commit
|
commitdiff
|
tree
|
snapshot
2015-03-20
jim
= to ==
commit
|
commitdiff
|
tree
|
snapshot
2015-03-20
jim
refine Cat Theory notes
commit
|
commitdiff
|
tree
|
snapshot
2015-03-20
jim
various edits, including Cat Theory
commit
|
commitdiff
|
tree
|
snapshot
2015-03-20
jim
markup
commit
|
commitdiff
|
tree
|
snapshot
2015-03-20
jim
expand Mappable Laws
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
ambiguous "identify"
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
Clean up examples, stick more consistently to typing...
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
argh... Haskell vs OCaml
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
fix formatting of `1`
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
explain mappable laws better
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Chris
Merge branch 'master' of main.jimpryor.net:/srv/lambda...
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Chris
added intensionality and binding
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
add mappable laws
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
fix type
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
express hesitation about flipped names
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
fix "arrow"
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
correction
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
tweak category theory blurb
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
formatting
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
add links to category theory
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Chris
try3
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
post homework7, with promises
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
post homework7, with promises
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
lowercase monad
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
updates, ready to post with promises
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
update code
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
rename exercises/_assignment6.mdwn to exercises/assignm...
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
replace some == with ≡
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
add sentence about Identity Monad
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
add some <code> tags
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
fix join's type
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
ok
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
update css
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
update css
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
update css
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
update css
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
update css
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
update css
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
experimenting css
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
more local.css updates
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
edits, still has some TODOs
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
update local.css
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
update local.css
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
wip
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
chris
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
add .double to local.css
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
chris
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
chris
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
some edits
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
post Monads
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
post Introducing Monads
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
rename topics/week7_monads.mdwn to topics/week7_introdu...
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
fix markup, typo
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
update, add safe division
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
update
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
removed
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
rename topics/_week7_monads.mdwn to topics/week7_monads...
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
update ski_evaluators
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
Merge branch 'master' into working
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
rename topics/week7__95__combinatory__95__evaluator...
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
light editing, rename functions for clarity
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
rename topics/week7_eval_combinatory.mdwn to topics...
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
rename eval_combinatory
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
post combinatory evaluator
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
post eval_combinatory
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
rename topics/week7_eval_cl.mdwn to topics/week7_eval_c...
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
add Plexy and some stubs/reorganization
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
link to Plexy
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
rename topics/_week6_plexy.mdwn to topics/week6_plexy...
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
update
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
remove extraneous code file
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
Jim
remove extraneous code file
commit
|
commitdiff
|
tree
|
snapshot
2015-03-19
jim
create page
commit
|
commitdiff
|
tree
|
snapshot
2015-03-16
Chris
edits
commit
|
commitdiff
|
tree
|
snapshot
2015-03-16
Chris
edits
commit
|
commitdiff
|
tree
|
snapshot
2015-03-16
Chris
edits
commit
|
commitdiff
|
tree
|
snapshot
2015-03-16
Chris
edits
commit
|
commitdiff
|
tree
|
snapshot
2015-03-16
Chris
edits
commit
|
commitdiff
|
tree
|
snapshot
next