lambda.git
4 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

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

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

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

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

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

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

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

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

* working:
  update css

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

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

* working:
  update css

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

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

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

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

* working:
  update css

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

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

* working:
  update css

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

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

* working:
  update css

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

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

* working:
  update css

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

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

* working:
  experimenting css

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

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

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

4 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

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

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

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

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

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

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

4 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

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

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

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

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

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

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

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

4 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

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

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

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

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

4 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

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

4 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

4 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

4 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

4 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

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

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

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

4 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

4 years agoadd Plexy and some stubs/reorganization
jim [Thu, 19 Mar 2015 02:40:43 +0000 (22:40 -0400)]
add Plexy and some stubs/reorganization

4 years agolink to Plexy
jim [Thu, 19 Mar 2015 02:35:40 +0000 (22:35 -0400)]
link to Plexy

4 years agorename topics/_week6_plexy.mdwn to topics/week6_plexy.mdwn
jim [Thu, 19 Mar 2015 02:32:27 +0000 (22:32 -0400)]
rename topics/_week6_plexy.mdwn to topics/week6_plexy.mdwn

4 years agoupdate
jim [Thu, 19 Mar 2015 02:32:18 +0000 (22:32 -0400)]
update

4 years agoremove extraneous code file
Jim [Thu, 19 Mar 2015 02:12:29 +0000 (22:12 -0400)]
remove extraneous code file

4 years agoremove extraneous code file
Jim [Thu, 19 Mar 2015 02:11:18 +0000 (22:11 -0400)]
remove extraneous code file

4 years agocreate page
jim [Thu, 19 Mar 2015 02:06:45 +0000 (22:06 -0400)]
create page

4 years agoedits
Chris [Mon, 16 Mar 2015 19:38:17 +0000 (15:38 -0400)]
edits

4 years agoedits
Chris [Mon, 16 Mar 2015 19:35:04 +0000 (15:35 -0400)]
edits

4 years agoedits
Chris [Mon, 16 Mar 2015 18:47:35 +0000 (14:47 -0400)]
edits

4 years agoedits
Chris [Mon, 16 Mar 2015 18:21:16 +0000 (14:21 -0400)]
edits

4 years agoedits
Chris [Mon, 16 Mar 2015 16:19:30 +0000 (12:19 -0400)]
edits

4 years agoedits
Chris [Mon, 16 Mar 2015 16:08:26 +0000 (12:08 -0400)]
edits

4 years agoedits
Chris [Mon, 16 Mar 2015 16:00:58 +0000 (12:00 -0400)]
edits

4 years agoedits
Chris [Mon, 16 Mar 2015 16:00:24 +0000 (12:00 -0400)]
edits

4 years agoedits
Chris [Mon, 16 Mar 2015 15:59:49 +0000 (11:59 -0400)]
edits

4 years agomonads
Chris [Mon, 16 Mar 2015 15:57:42 +0000 (11:57 -0400)]
monads

4 years ago(no commit message)
chris [Mon, 16 Mar 2015 15:20:41 +0000 (11:20 -0400)]

4 years agomonads
Chris [Mon, 16 Mar 2015 15:14:13 +0000 (11:14 -0400)]
monads

4 years ago(no commit message)
chris [Mon, 16 Mar 2015 14:29:49 +0000 (10:29 -0400)]

4 years ago(no commit message)
chris [Mon, 16 Mar 2015 14:26:37 +0000 (10:26 -0400)]

4 years ago(no commit message)
chris [Mon, 16 Mar 2015 14:24:01 +0000 (10:24 -0400)]

4 years ago(no commit message)
chris [Mon, 16 Mar 2015 14:23:16 +0000 (10:23 -0400)]

4 years ago(no commit message)
chris [Mon, 16 Mar 2015 14:20:27 +0000 (10:20 -0400)]

4 years agogit is weird
Chris [Mon, 16 Mar 2015 14:09:16 +0000 (10:09 -0400)]
git is weird

4 years agoplexy
Chris [Mon, 16 Mar 2015 14:08:32 +0000 (10:08 -0400)]
plexy

4 years ago(no commit message)
chris [Sun, 15 Mar 2015 20:47:48 +0000 (16:47 -0400)]

4 years ago(no commit message)
chris [Sun, 15 Mar 2015 17:29:39 +0000 (13:29 -0400)]

4 years ago(no commit message)
chris [Sun, 15 Mar 2015 17:27:07 +0000 (13:27 -0400)]

4 years ago(no commit message)
chris [Sun, 15 Mar 2015 17:26:22 +0000 (13:26 -0400)]

4 years agoedits
Chris [Sun, 15 Mar 2015 17:24:08 +0000 (13:24 -0400)]
edits

4 years agoexx
Chris [Sun, 15 Mar 2015 16:23:52 +0000 (12:23 -0400)]
exx

4 years agoexx
Chris [Sat, 14 Mar 2015 19:46:15 +0000 (15:46 -0400)]
exx

4 years agoexx
Chris [Sat, 14 Mar 2015 19:13:55 +0000 (15:13 -0400)]
exx

4 years agomoved files
Chris [Sat, 14 Mar 2015 18:30:24 +0000 (14:30 -0400)]
moved files

4 years agoedits
Chris [Sat, 14 Mar 2015 18:17:34 +0000 (14:17 -0400)]
edits

4 years agoexx
Chris [Sat, 14 Mar 2015 18:15:58 +0000 (14:15 -0400)]
exx

4 years agogit is a pain
Chris [Sat, 14 Mar 2015 17:42:47 +0000 (13:42 -0400)]
git is a pain

4 years agoedits
Chris [Sat, 14 Mar 2015 17:41:47 +0000 (13:41 -0400)]
edits

4 years agopublishing eval CL
Chris [Sat, 14 Mar 2015 17:39:57 +0000 (13:39 -0400)]
publishing eval CL

4 years ago(no commit message)
chris [Sat, 14 Mar 2015 17:39:05 +0000 (13:39 -0400)]

4 years ago(no commit message)
chris [Sat, 14 Mar 2015 17:26:42 +0000 (13:26 -0400)]

4 years ago(no commit message)
chris [Sat, 14 Mar 2015 17:25:51 +0000 (13:25 -0400)]

4 years ago(no commit message)
chris [Sat, 14 Mar 2015 17:25:05 +0000 (13:25 -0400)]