lambda.git
5 years agoprovide gappy untyped_evaluator.ml
Jim [Fri, 20 Mar 2015 23:32:22 +0000 (19:32 -0400)]
provide gappy untyped_evaluator.ml

5 years agorefine untyped_evaluator
Jim [Fri, 20 Mar 2015 23:27:57 +0000 (19:27 -0400)]
refine untyped_evaluator

5 years agoMerge branch 'working'
Jim [Fri, 20 Mar 2015 22:46:27 +0000 (18:46 -0400)]
Merge branch 'working'

* working:
  provide simplified untyped_evaluator (complete version)

5 years agoprovide simplified untyped_evaluator (complete version)
Jim [Fri, 20 Mar 2015 22:45:27 +0000 (18:45 -0400)]
provide simplified untyped_evaluator (complete version)

5 years agospoke too soon, added examples of failures
jim [Fri, 20 Mar 2015 19:42:22 +0000 (15:42 -0400)]
spoke too soon, added examples of failures

5 years agomark that Monad page is updated
jim [Fri, 20 Mar 2015 18:34:03 +0000 (14:34 -0400)]
mark that Monad page is updated

5 years agomark that Monad page is updated
jim [Fri, 20 Mar 2015 18:33:16 +0000 (14:33 -0400)]
mark that Monad page is updated

5 years agotweaks
jim [Fri, 20 Mar 2015 18:32:19 +0000 (14:32 -0400)]
tweaks

5 years agolast tweaks to monad page for now
jim [Fri, 20 Mar 2015 18:29:14 +0000 (14:29 -0400)]
last tweaks to monad page for now

5 years agorestore Chris's double boxes
jim [Fri, 20 Mar 2015 17:34:11 +0000 (13:34 -0400)]
restore Chris's double boxes

5 years agorefinements
jim [Fri, 20 Mar 2015 16:59:49 +0000 (12:59 -0400)]
refinements

5 years ago(no commit message)
chris [Fri, 20 Mar 2015 15:54:09 +0000 (11:54 -0400)]

5 years agoedits
Chris [Fri, 20 Mar 2015 15:53:20 +0000 (11:53 -0400)]
edits

5 years agodouble box
Chris [Fri, 20 Mar 2015 15:52:11 +0000 (11:52 -0400)]
double box

5 years agorefine
jim [Fri, 20 Mar 2015 15:22:39 +0000 (11:22 -0400)]
refine

5 years agoexpanding
jim [Fri, 20 Mar 2015 14:36:05 +0000 (10:36 -0400)]
expanding

5 years ago= to ==
jim [Fri, 20 Mar 2015 13:14:34 +0000 (09:14 -0400)]
= to ==

5 years agorefine Cat Theory notes
jim [Fri, 20 Mar 2015 13:13:36 +0000 (09:13 -0400)]
refine Cat Theory notes

5 years agovarious edits, including Cat Theory
jim [Fri, 20 Mar 2015 13:06:28 +0000 (09:06 -0400)]
various edits, including Cat Theory

5 years agomarkup
jim [Fri, 20 Mar 2015 12:44:03 +0000 (08:44 -0400)]
markup

5 years agoexpand Mappable Laws
jim [Fri, 20 Mar 2015 12:42:29 +0000 (08:42 -0400)]
expand Mappable Laws

5 years agoambiguous "identify"
jim [Thu, 19 Mar 2015 23:03:28 +0000 (19:03 -0400)]
ambiguous "identify"

5 years agoClean up examples, stick more consistently to typing conventions
jim [Thu, 19 Mar 2015 23:01:25 +0000 (19:01 -0400)]
Clean up examples, stick more consistently to typing conventions

5 years agoargh... Haskell vs OCaml
jim [Thu, 19 Mar 2015 22:52:55 +0000 (18:52 -0400)]
argh... Haskell vs OCaml

5 years agofix formatting of `1`
jim [Thu, 19 Mar 2015 22:51:48 +0000 (18:51 -0400)]
fix formatting of `1`

5 years agoexplain mappable laws better
jim [Thu, 19 Mar 2015 22:47:08 +0000 (18:47 -0400)]
explain mappable laws better

5 years agoMerge branch 'master' of main.jimpryor.net:/srv/lambda/lambda
Chris [Thu, 19 Mar 2015 22:44:30 +0000 (18:44 -0400)]
Merge branch 'master' of main.jimpryor.net:/srv/lambda/lambda

5 years agoadded intensionality and binding
Chris [Thu, 19 Mar 2015 22:43:59 +0000 (18:43 -0400)]
added intensionality and binding

5 years agoadd mappable laws
jim [Thu, 19 Mar 2015 22:43:03 +0000 (18:43 -0400)]
add mappable laws

5 years agofix type
jim [Thu, 19 Mar 2015 22:37:57 +0000 (18:37 -0400)]
fix type

5 years agoexpress hesitation about flipped names
jim [Thu, 19 Mar 2015 22:37:01 +0000 (18:37 -0400)]
express hesitation about flipped names

5 years agofix "arrow"
jim [Thu, 19 Mar 2015 22:35:17 +0000 (18:35 -0400)]
fix "arrow"

5 years agocorrection
jim [Thu, 19 Mar 2015 22:34:45 +0000 (18:34 -0400)]
correction

5 years agotweak category theory blurb
jim [Thu, 19 Mar 2015 22:32:47 +0000 (18:32 -0400)]
tweak category theory blurb

5 years agotweak
jim [Thu, 19 Mar 2015 18:26:29 +0000 (14:26 -0400)]
tweak

5 years agoformatting
jim [Thu, 19 Mar 2015 18:22:20 +0000 (14:22 -0400)]
formatting

5 years agoadd links to category theory
jim [Thu, 19 Mar 2015 18:21:02 +0000 (14:21 -0400)]
add links to category theory

5 years agotry3
Chris [Thu, 19 Mar 2015 18:13:03 +0000 (14:13 -0400)]
try3

5 years agopost homework7, with promises
jim [Thu, 19 Mar 2015 17:06:01 +0000 (13:06 -0400)]
post homework7, with promises

5 years agopost homework7, with promises
jim [Thu, 19 Mar 2015 17:04:16 +0000 (13:04 -0400)]
post homework7, with promises

5 years agolowercase monad
jim [Thu, 19 Mar 2015 17:03:25 +0000 (13:03 -0400)]
lowercase monad

5 years agoupdates, ready to post with promises
jim [Thu, 19 Mar 2015 17:02:36 +0000 (13:02 -0400)]
updates, ready to post with promises

5 years agoMerge branch 'working'
Jim [Thu, 19 Mar 2015 16:33:23 +0000 (12:33 -0400)]
Merge branch 'working'

* working:
  update code

5 years agoupdate code
Jim [Thu, 19 Mar 2015 16:33:22 +0000 (12:33 -0400)]
update code

5 years agorename exercises/_assignment6.mdwn to exercises/assignment7.mdwn
jim [Thu, 19 Mar 2015 16:31:02 +0000 (12:31 -0400)]
rename exercises/_assignment6.mdwn to exercises/assignment7.mdwn

5 years agotweak
jim [Thu, 19 Mar 2015 16:11:12 +0000 (12:11 -0400)]
tweak

5 years agotweak
jim [Thu, 19 Mar 2015 16:10:51 +0000 (12:10 -0400)]
tweak

5 years agoreplace some == with ≡
jim [Thu, 19 Mar 2015 16:07:30 +0000 (12:07 -0400)]
replace some == with ≡

5 years agoadd sentence about Identity Monad
jim [Thu, 19 Mar 2015 16:05:11 +0000 (12:05 -0400)]
add sentence about Identity Monad

5 years agoadd some <code> tags
jim [Thu, 19 Mar 2015 16:02:34 +0000 (12:02 -0400)]
add some <code> tags

5 years agofix join's type
jim [Thu, 19 Mar 2015 15:58:07 +0000 (11:58 -0400)]
fix join's type

5 years agook
jim [Thu, 19 Mar 2015 15:57:25 +0000 (11:57 -0400)]
ok

5 years agoupdate css
Jim [Thu, 19 Mar 2015 15:55:48 +0000 (11:55 -0400)]
update css

5 years agoMerge branch 'working'
Jim [Thu, 19 Mar 2015 15:55:48 +0000 (11:55 -0400)]
Merge branch 'working'

* working:
  update css

5 years agoupdate css
Jim [Thu, 19 Mar 2015 15:55:14 +0000 (11:55 -0400)]
update css

5 years agoMerge branch 'working'
Jim [Thu, 19 Mar 2015 15:55:14 +0000 (11:55 -0400)]
Merge branch 'working'

* working:
  update css

5 years ago(no commit message)
jim [Thu, 19 Mar 2015 15:53:19 +0000 (11:53 -0400)]

5 years agoupdate css
Jim [Thu, 19 Mar 2015 15:52:12 +0000 (11:52 -0400)]
update css

5 years agoMerge branch 'working'
Jim [Thu, 19 Mar 2015 15:52:12 +0000 (11:52 -0400)]
Merge branch 'working'

* working:
  update css

5 years ago(no commit message)
jim [Thu, 19 Mar 2015 15:51:23 +0000 (11:51 -0400)]

5 years agoMerge branch 'working'
Jim [Thu, 19 Mar 2015 15:50:54 +0000 (11:50 -0400)]
Merge branch 'working'

* working:
  update css

5 years agoupdate css
Jim [Thu, 19 Mar 2015 15:50:53 +0000 (11:50 -0400)]
update css

5 years agoMerge branch 'working'
Jim [Thu, 19 Mar 2015 15:50:04 +0000 (11:50 -0400)]
Merge branch 'working'

* working:
  update css

5 years agoupdate css
Jim [Thu, 19 Mar 2015 15:50:03 +0000 (11:50 -0400)]
update css

5 years agoMerge branch 'working'
Jim [Thu, 19 Mar 2015 15:48:51 +0000 (11:48 -0400)]
Merge branch 'working'

* working:
  update css

5 years agoupdate css
Jim [Thu, 19 Mar 2015 15:48:51 +0000 (11:48 -0400)]
update css

5 years agoMerge branch 'working'
Jim [Thu, 19 Mar 2015 15:44:12 +0000 (11:44 -0400)]
Merge branch 'working'

* working:
  experimenting css

5 years agoexperimenting css
Jim [Thu, 19 Mar 2015 15:44:01 +0000 (11:44 -0400)]
experimenting css

5 years ago(no commit message)
jim [Thu, 19 Mar 2015 15:40:36 +0000 (11:40 -0400)]

5 years ago(no commit message)
jim [Thu, 19 Mar 2015 15:40:25 +0000 (11:40 -0400)]

5 years agoMerge branch 'working'
Jim [Thu, 19 Mar 2015 15:38:32 +0000 (11:38 -0400)]
Merge branch 'working'

* working:
  more local.css updates
  update local.css

Conflicts:
local.css

5 years agomore local.css updates
Jim [Thu, 19 Mar 2015 15:37:31 +0000 (11:37 -0400)]
more local.css updates

5 years agoedits, still has some TODOs
jim [Thu, 19 Mar 2015 15:05:27 +0000 (11:05 -0400)]
edits, still has some TODOs

5 years agoupdate local.css
Jim [Thu, 19 Mar 2015 14:46:22 +0000 (10:46 -0400)]
update local.css

5 years agoupdate local.css
Jim [Thu, 19 Mar 2015 14:46:22 +0000 (10:46 -0400)]
update local.css

5 years agowip
jim [Thu, 19 Mar 2015 14:37:16 +0000 (10:37 -0400)]
wip

5 years ago(no commit message)
chris [Thu, 19 Mar 2015 14:36:27 +0000 (10:36 -0400)]

5 years agoMerge branch 'working'
Jim [Thu, 19 Mar 2015 14:34:11 +0000 (10:34 -0400)]
Merge branch 'working'

* working:
  add .double to local.css

5 years agoadd .double to local.css
Jim [Thu, 19 Mar 2015 14:33:54 +0000 (10:33 -0400)]
add .double to local.css

5 years ago(no commit message)
chris [Thu, 19 Mar 2015 14:18:53 +0000 (10:18 -0400)]

5 years ago(no commit message)
chris [Thu, 19 Mar 2015 13:49:51 +0000 (09:49 -0400)]

5 years agosome edits
jim [Thu, 19 Mar 2015 13:46:00 +0000 (09:46 -0400)]
some edits

5 years agotweak
jim [Thu, 19 Mar 2015 06:36:20 +0000 (02:36 -0400)]
tweak

5 years agopost Monads
jim [Thu, 19 Mar 2015 06:28:09 +0000 (02:28 -0400)]
post Monads

5 years agopost Introducing Monads
jim [Thu, 19 Mar 2015 06:27:08 +0000 (02:27 -0400)]
post Introducing Monads

5 years agorename topics/week7_monads.mdwn to topics/week7_introducing_monads.mdwn
jim [Thu, 19 Mar 2015 06:26:19 +0000 (02:26 -0400)]
rename topics/week7_monads.mdwn to topics/week7_introducing_monads.mdwn

5 years agofix markup, typo
jim [Thu, 19 Mar 2015 06:25:52 +0000 (02:25 -0400)]
fix markup, typo

5 years agoupdate, add safe division
jim [Thu, 19 Mar 2015 06:25:01 +0000 (02:25 -0400)]
update, add safe division

5 years agoupdate
jim [Thu, 19 Mar 2015 05:15:13 +0000 (01:15 -0400)]
update

5 years agoremoved
jim [Thu, 19 Mar 2015 04:28:21 +0000 (00:28 -0400)]
removed

5 years agorename topics/_week7_monads.mdwn to topics/week7_monads.mdwn
jim [Thu, 19 Mar 2015 04:27:45 +0000 (00:27 -0400)]
rename topics/_week7_monads.mdwn to topics/week7_monads.mdwn

5 years agoupdate ski_evaluators
Jim [Thu, 19 Mar 2015 03:41:12 +0000 (23:41 -0400)]
update ski_evaluators

5 years agoMerge branch 'master' into working
Jim [Thu, 19 Mar 2015 03:36:16 +0000 (23:36 -0400)]
Merge branch 'master' into working

* master:
  rename topics/week7__95__combinatory__95__evaluator.mdwn to topics/week7_combinatory_evaluator.mdwn
  light editing, rename functions for clarity
  rename topics/week7_eval_combinatory.mdwn to topics/week7__95__combinatory__95__evaluator.mdwn
  rename eval_combinatory
  post combinatory evaluator
  post eval_combinatory
  rename topics/week7_eval_cl.mdwn to topics/week7_eval_combinatory.mdwn
  add Plexy and some stubs/reorganization
  link to Plexy
  rename topics/_week6_plexy.mdwn to topics/week6_plexy.mdwn
  update

5 years agorename topics/week7__95__combinatory__95__evaluator.mdwn to topics/week7_combinatory_...
jim [Thu, 19 Mar 2015 03:34:13 +0000 (23:34 -0400)]
rename topics/week7__95__combinatory__95__evaluator.mdwn to topics/week7_combinatory_evaluator.mdwn

5 years agolight editing, rename functions for clarity
jim [Thu, 19 Mar 2015 03:33:52 +0000 (23:33 -0400)]
light editing, rename functions for clarity

5 years agorename topics/week7_eval_combinatory.mdwn to topics/week7__95__combinatory__95__evalu...
jim [Thu, 19 Mar 2015 03:11:48 +0000 (23:11 -0400)]
rename topics/week7_eval_combinatory.mdwn to topics/week7__95__combinatory__95__evaluator.mdwn

5 years agorename eval_combinatory
jim [Thu, 19 Mar 2015 03:10:54 +0000 (23:10 -0400)]
rename eval_combinatory

5 years agopost combinatory evaluator
jim [Thu, 19 Mar 2015 03:10:10 +0000 (23:10 -0400)]
post combinatory evaluator

5 years agopost eval_combinatory
jim [Thu, 19 Mar 2015 03:08:33 +0000 (23:08 -0400)]
post eval_combinatory

5 years agorename topics/week7_eval_cl.mdwn to topics/week7_eval_combinatory.mdwn
jim [Thu, 19 Mar 2015 03:07:46 +0000 (23:07 -0400)]
rename topics/week7_eval_cl.mdwn to topics/week7_eval_combinatory.mdwn