2015-03-20 |
Jim | provide simplified untyped_evaluator (complete version) |
commit | commitdiff | tree | snapshot |
2015-03-20 |
jim | spoke too soon, added examples of failures |
commit | commitdiff | tree | snapshot |
2015-03-20 |
jim | mark that Monad page is updated |
commit | commitdiff | tree | snapshot |
2015-03-20 |
jim | mark that Monad page is updated |
commit | commitdiff | tree | snapshot |
2015-03-20 |
jim | tweaks |
commit | commitdiff | tree | snapshot |
2015-03-20 |
jim | last tweaks to monad page for now |
commit | commitdiff | tree | snapshot |
2015-03-20 |
jim | restore Chris's double boxes |
commit | commitdiff | tree | snapshot |
2015-03-20 |
jim | refinements |
commit | commitdiff | tree | snapshot |
2015-03-20 |
chris | (no commit message) |
commit | commitdiff | tree | snapshot |
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 |
next |