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]
/
code
/ monads.ml
2015-01-29
Linux User
Move everything to old
commit
|
commitdiff
2011-05-29
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
2011-05-29
Jim Pryor
monads: add permute,select for List.T
commit
|
commitdiff
2011-02-20
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
2011-02-20
Jim Pryor
monads.ml tweak
commit
|
commitdiff
2010-12-23
Jim Pryor
add expose to monads.ml
commit
|
commitdiff
2010-12-13
Jim Pryor
delete tests from code
commit
|
commitdiff
2010-12-13
Jim Pryor
transformers finish
commit
|
commitdiff
2010-12-13
Jim Pryor
Expand monad_transformers re elevate, layering
commit
|
commitdiff
2010-12-12
Jim Pryor
Leaf_monad -> Tree_monad
commit
|
commitdiff
2010-12-12
Jim Pryor
point to monad_library
commit
|
commitdiff
2010-12-12
Jim Pryor
tweak monads-lib
commit
|
commitdiff
2010-12-12
Jim Pryor
tweak monads-lib
commit
|
commitdiff
2010-12-11
Jim Pryor
tweak monads-lib
commit
|
commitdiff
2010-12-11
Jim Pryor
monads lib: made all monad types doubly param'd; requir...
commit
|
commitdiff
2010-12-11
Jim Pryor
tweak monads-lib
commit
|
commitdiff
2010-12-11
Jim Pryor
monads.ml: make Error.TP,TP2 drop fail to Wrapped.zero
commit
|
commitdiff
2010-12-11
Jim Pryor
monads.ml: add TP2 to Error, make Error.run less exn-y
commit
|
commitdiff
2010-12-11
Jim Pryor
monads.ml: add TP to Error
commit
|
commitdiff
2010-12-11
Jim Pryor
tweak monads-lib
commit
|
commitdiff
2010-12-11
Jim Pryor
tweak monads-lib, migrate to T2
commit
|
commitdiff
2010-12-11
Jim Pryor
tweak monads-lib, start T2
commit
|
commitdiff
2010-12-11
Jim Pryor
push monads library
commit
|
commitdiff