lambda.git
4 years ago(no commit message)
chris [Mon, 30 Mar 2015 01:35:20 +0000 (21:35 -0400)]

4 years ago(no commit message)
chris [Mon, 30 Mar 2015 01:34:09 +0000 (21:34 -0400)]

4 years agoreader monad
Chris [Mon, 30 Mar 2015 01:31:59 +0000 (21:31 -0400)]
reader monad

4 years agocyclic structures
jim [Fri, 27 Mar 2015 07:05:44 +0000 (03:05 -0400)]
cyclic structures

4 years agotypo, thanks Kyle
jim [Wed, 25 Mar 2015 20:09:40 +0000 (16:09 -0400)]
typo, thanks Kyle

4 years agotypo in untyped_evaluator
Jim [Wed, 25 Mar 2015 16:17:55 +0000 (12:17 -0400)]
typo in untyped_evaluator

4 years agofix another typo on ski_evaluator
Jim [Wed, 25 Mar 2015 10:01:17 +0000 (06:01 -0400)]
fix another typo on ski_evaluator

4 years agofix typo on ski_evaluator
Jim [Wed, 25 Mar 2015 10:00:39 +0000 (06:00 -0400)]
fix typo on ski_evaluator

4 years agofix result types on ski_evaluator
Jim [Wed, 25 Mar 2015 09:59:47 +0000 (05:59 -0400)]
fix result types on ski_evaluator

4 years agoMerge branch 'working'
Jim [Wed, 25 Mar 2015 09:53:25 +0000 (05:53 -0400)]
Merge branch 'working'

* working:
  add comments to ski_evaluator

4 years agoadd comments to ski_evaluator
Jim [Wed, 25 Mar 2015 09:53:22 +0000 (05:53 -0400)]
add comments to ski_evaluator

4 years agoedits
Chris [Wed, 25 Mar 2015 02:49:32 +0000 (22:49 -0400)]
edits

4 years agoshell scripts use dynamic binding
jim [Wed, 25 Mar 2015 02:09:56 +0000 (22:09 -0400)]
shell scripts use dynamic binding

4 years agotypo
jim [Wed, 25 Mar 2015 01:57:31 +0000 (21:57 -0400)]
typo

4 years agoMerge branch 'working'
Jim [Wed, 25 Mar 2015 00:09:43 +0000 (20:09 -0400)]
Merge branch 'working'

* working:
  update untyped_eval to 1.7

4 years agoupdate untyped_eval to 1.7
Jim [Wed, 25 Mar 2015 00:09:37 +0000 (20:09 -0400)]
update untyped_eval to 1.7

4 years agoMerge branch 'working'
Jim [Tue, 24 Mar 2015 21:52:53 +0000 (17:52 -0400)]
Merge branch 'working'

* working:
  Revert "update untyped_eval to 1.6"

4 years agoRevert "update untyped_eval to 1.6"
Jim [Tue, 24 Mar 2015 21:52:46 +0000 (17:52 -0400)]
Revert "update untyped_eval to 1.6"

This reverts commit b1a9ae3f1c5cdf961f19e60fc352eb5dfea480b4.

4 years agoMerge branch 'working'
Jim [Tue, 24 Mar 2015 21:30:56 +0000 (17:30 -0400)]
Merge branch 'working'

* working:
  update untyped_eval to 1.6

4 years agoupdate untyped_eval to 1.6
Jim [Tue, 24 Mar 2015 21:30:52 +0000 (17:30 -0400)]
update untyped_eval to 1.6

4 years agopost hidden stuff
jim [Tue, 24 Mar 2015 18:14:55 +0000 (14:14 -0400)]
post hidden stuff

4 years agoMerge branch 'working'
Jim [Tue, 24 Mar 2015 17:52:03 +0000 (13:52 -0400)]
Merge branch 'working'

* working:
  update untyped_eval to 1.5

4 years agoupdate untyped_eval to 1.5
Jim [Tue, 24 Mar 2015 17:51:58 +0000 (13:51 -0400)]
update untyped_eval to 1.5

4 years agoT combinator
jim [Tue, 24 Mar 2015 17:40:37 +0000 (13:40 -0400)]
T combinator

4 years agoupdate untyped_eval to 1.4
Jim [Tue, 24 Mar 2015 17:25:18 +0000 (13:25 -0400)]
update untyped_eval to 1.4

4 years agoremove TODO
jim [Tue, 24 Mar 2015 14:54:52 +0000 (10:54 -0400)]
remove TODO

4 years agomore results that aren't terms
jim [Tue, 24 Mar 2015 14:28:50 +0000 (10:28 -0400)]
more results that aren't terms

4 years agoexpand about environments
jim [Tue, 24 Mar 2015 14:26:39 +0000 (10:26 -0400)]
expand about environments

4 years agoadd parentheses
jim [Tue, 24 Mar 2015 14:06:13 +0000 (10:06 -0400)]
add parentheses

4 years agotweak
jim [Tue, 24 Mar 2015 14:04:17 +0000 (10:04 -0400)]
tweak

4 years agoinconsistent-->unsound
jim [Tue, 24 Mar 2015 13:31:54 +0000 (09:31 -0400)]
inconsistent-->unsound

4 years ago≡ means syntactic identity, not equivalence
jim [Tue, 24 Mar 2015 13:17:23 +0000 (09:17 -0400)]
≡ means syntactic identity, not equivalence

4 years agowhoops, tree_best_sofar (direct) had a bug
jim [Tue, 24 Mar 2015 13:12:24 +0000 (09:12 -0400)]
whoops, tree_best_sofar (direct) had a bug

4 years agofix link
jim [Tue, 24 Mar 2015 00:52:08 +0000 (20:52 -0400)]
fix link

4 years agoMerge branch 'working'
Jim [Tue, 24 Mar 2015 00:51:08 +0000 (20:51 -0400)]
Merge branch 'working'

* working:
  symlink doesn't work

4 years agosymlink doesn't work
Jim [Tue, 24 Mar 2015 00:51:02 +0000 (20:51 -0400)]
symlink doesn't work

4 years agoadd toc
jim [Tue, 24 Mar 2015 00:49:40 +0000 (20:49 -0400)]
add toc

4 years agoupdate link
jim [Tue, 24 Mar 2015 00:48:37 +0000 (20:48 -0400)]
update link

4 years agoMerge branch 'working'
Jim [Tue, 24 Mar 2015 00:47:11 +0000 (20:47 -0400)]
Merge branch 'working'

* working:
  update untyped code

4 years agoupdate untyped code
Jim [Tue, 24 Mar 2015 00:47:05 +0000 (20:47 -0400)]
update untyped code

4 years agoMerge branch 'working'
Jim [Tue, 24 Mar 2015 00:08:00 +0000 (20:08 -0400)]
Merge branch 'working'

* working:
  tweak untyped_evaluators, add symlink

4 years agotweak untyped_evaluators, add symlink
Jim [Tue, 24 Mar 2015 00:07:49 +0000 (20:07 -0400)]
tweak untyped_evaluators, add symlink

4 years agopost/update links
jim [Tue, 24 Mar 2015 00:02:57 +0000 (20:02 -0400)]
post/update links

4 years agoformatting
jim [Mon, 23 Mar 2015 23:59:09 +0000 (19:59 -0400)]
formatting

4 years agopost links
jim [Mon, 23 Mar 2015 23:58:39 +0000 (19:58 -0400)]
post links

4 years agorename topics/_week7_interpreter_exposition.mdwn to topics/week7_untyped_evaluator...
jim [Mon, 23 Mar 2015 23:56:24 +0000 (19:56 -0400)]
rename topics/_week7_interpreter_exposition.mdwn to topics/week7_untyped_evaluator.mdwn

4 years agoedits
jim [Mon, 23 Mar 2015 23:56:06 +0000 (19:56 -0400)]
edits

4 years agoadd #primed
jim [Mon, 23 Mar 2015 23:50:22 +0000 (19:50 -0400)]
add #primed

4 years agoedits?
jim [Mon, 23 Mar 2015 23:10:00 +0000 (19:10 -0400)]
edits?

4 years agoadd link to Closures
jim [Mon, 23 Mar 2015 23:08:41 +0000 (19:08 -0400)]
add link to Closures

4 years agorename topics/week7__95__environments__95__and__95__closures.mdwn to topics/week7_env...
jim [Mon, 23 Mar 2015 23:07:26 +0000 (19:07 -0400)]
rename topics/week7__95__environments__95__and__95__closures.mdwn to topics/week7_environments_and_closures.mdwn

4 years agoupdate for rename of topics/closures.mdwn to topics/week7__95__environments__95__and_...
jim [Mon, 23 Mar 2015 23:07:08 +0000 (19:07 -0400)]
update for rename of topics/closures.mdwn to topics/week7__95__environments__95__and__95__closures.mdwn

4 years agorename topics/closures.mdwn to topics/week7__95__environments__95__and__95__closures...
jim [Mon, 23 Mar 2015 23:07:08 +0000 (19:07 -0400)]
rename topics/closures.mdwn to topics/week7__95__environments__95__and__95__closures.mdwn

4 years agoedits
jim [Mon, 23 Mar 2015 23:06:40 +0000 (19:06 -0400)]
edits

4 years agoextract closures discussion to separate page
jim [Mon, 23 Mar 2015 23:01:17 +0000 (19:01 -0400)]
extract closures discussion to separate page

4 years agocreate page
jim [Mon, 23 Mar 2015 22:59:51 +0000 (18:59 -0400)]
create page

4 years agoadd more bold
jim [Mon, 23 Mar 2015 21:35:13 +0000 (17:35 -0400)]
add more bold

4 years agoadd update note
jim [Mon, 23 Mar 2015 21:18:18 +0000 (17:18 -0400)]
add update note

4 years agoadd update note
jim [Mon, 23 Mar 2015 21:18:03 +0000 (17:18 -0400)]
add update note

4 years agoadd toc
jim [Mon, 23 Mar 2015 21:16:51 +0000 (17:16 -0400)]
add toc

4 years agotweak
jim [Mon, 23 Mar 2015 21:16:11 +0000 (17:16 -0400)]
tweak

4 years agoadd explanation of Closures
jim [Mon, 23 Mar 2015 21:14:58 +0000 (17:14 -0400)]
add explanation of Closures

4 years agofix markup
jim [Mon, 23 Mar 2015 19:36:02 +0000 (15:36 -0400)]
fix markup

4 years agofix markup
jim [Mon, 23 Mar 2015 19:35:20 +0000 (15:35 -0400)]
fix markup

4 years agoadd #occurs_free
jim [Mon, 23 Mar 2015 19:34:22 +0000 (15:34 -0400)]
add #occurs_free

4 years agoadd #occurs_free
jim [Mon, 23 Mar 2015 19:33:53 +0000 (15:33 -0400)]
add #occurs_free

4 years agoMerge branch 'working'
Jim [Mon, 23 Mar 2015 17:46:29 +0000 (13:46 -0400)]
Merge branch 'working'

* working:
  add V combinator to lambda_evaluator

4 years agoadd V combinator to lambda_evaluator
Jim [Mon, 23 Mar 2015 17:46:21 +0000 (13:46 -0400)]
add V combinator to lambda_evaluator

4 years agoMerge branch 'working'
Jim [Mon, 23 Mar 2015 16:44:33 +0000 (12:44 -0400)]
Merge branch 'working'

* working:
  add code/interp-1.2.tgz

4 years agoadd code/interp-1.2.tgz
Jim [Mon, 23 Mar 2015 16:44:24 +0000 (12:44 -0400)]
add code/interp-1.2.tgz

4 years agoMerge branch 'working'
Jim [Mon, 23 Mar 2015 16:35:18 +0000 (12:35 -0400)]
Merge branch 'working'

* working:
  untyped eval: tweaks

4 years agountyped eval: tweaks
Jim [Mon, 23 Mar 2015 16:35:14 +0000 (12:35 -0400)]
untyped eval: tweaks

4 years agoMerge branch 'working'
Jim [Mon, 23 Mar 2015 15:48:44 +0000 (11:48 -0400)]
Merge branch 'working'

* working:
  untyped eval: V[12]-->V[AB]

4 years agountyped eval: V[12]-->V[AB]
Jim [Mon, 23 Mar 2015 15:48:39 +0000 (11:48 -0400)]
untyped eval: V[12]-->V[AB]

4 years agofix link
jim [Mon, 23 Mar 2015 14:33:20 +0000 (10:33 -0400)]
fix link

4 years agoupdate note
jim [Mon, 23 Mar 2015 14:32:39 +0000 (10:32 -0400)]
update note

4 years agoupdate note
jim [Mon, 23 Mar 2015 14:32:09 +0000 (10:32 -0400)]
update note

4 years agotypo
jim [Mon, 23 Mar 2015 14:27:45 +0000 (10:27 -0400)]
typo

4 years agomarkup
jim [Mon, 23 Mar 2015 14:20:51 +0000 (10:20 -0400)]
markup

4 years agoformating
jim [Mon, 23 Mar 2015 14:18:51 +0000 (10:18 -0400)]
formating

4 years agouse arrow for mid
jim [Mon, 23 Mar 2015 14:18:15 +0000 (10:18 -0400)]
use arrow for mid

4 years agouse arrow for mid
jim [Mon, 23 Mar 2015 14:17:11 +0000 (10:17 -0400)]
use arrow for mid

4 years agoremove spaces after applications of mid
jim [Mon, 23 Mar 2015 14:12:19 +0000 (10:12 -0400)]
remove spaces after applications of mid

4 years agochange m$ to ¢
jim [Mon, 23 Mar 2015 14:09:21 +0000 (10:09 -0400)]
change m$ to ¢

4 years agochange mid to double up arrow U+2e17
jim [Mon, 23 Mar 2015 14:06:16 +0000 (10:06 -0400)]
change mid to double up arrow U+2e17

4 years agoMerge branch 'working'
Jim [Mon, 23 Mar 2015 13:36:46 +0000 (09:36 -0400)]
Merge branch 'working'

* working:
  add some old code, let's review/update before publishing

4 years agoadd some old code, let's review/update before publishing
Jim [Mon, 23 Mar 2015 13:36:33 +0000 (09:36 -0400)]
add some old code, let's review/update before publishing

4 years agoagain with the markup
jim [Mon, 23 Mar 2015 02:34:21 +0000 (22:34 -0400)]
again with the markup

4 years agomarkup
jim [Mon, 23 Mar 2015 02:34:01 +0000 (22:34 -0400)]
markup

4 years agopost safe division, rename/reorg a bit
jim [Mon, 23 Mar 2015 02:33:24 +0000 (22:33 -0400)]
post safe division, rename/reorg a bit

4 years agolink to safe division
jim [Mon, 23 Mar 2015 02:27:17 +0000 (22:27 -0400)]
link to safe division

4 years agorename topics/week8_safe_division_with_Monads.mdwn to topics/week8_safe_division_with...
jim [Mon, 23 Mar 2015 02:26:00 +0000 (22:26 -0400)]
rename topics/week8_safe_division_with_Monads.mdwn to topics/week8_safe_division_with_monads.mdwn

4 years agorename topics/_week8_using_monads.mdwn to topics/week8_safe_division_with_Monads...
jim [Mon, 23 Mar 2015 02:25:48 +0000 (22:25 -0400)]
rename topics/_week8_using_monads.mdwn to topics/week8_safe_division_with_Monads.mdwn

4 years agopolish
jim [Mon, 23 Mar 2015 02:24:53 +0000 (22:24 -0400)]
polish

4 years agomove do-notation links
jim [Mon, 23 Mar 2015 01:52:25 +0000 (21:52 -0400)]
move do-notation links

4 years agoexplain comments
jim [Mon, 23 Mar 2015 01:41:41 +0000 (21:41 -0400)]
explain comments

4 years agomove link
jim [Sun, 22 Mar 2015 17:10:14 +0000 (13:10 -0400)]
move link

4 years agoThey're sets of worlds AND they're CCPs... Understand, or is too tough for you?
jim [Sun, 22 Mar 2015 17:08:53 +0000 (13:08 -0400)]
They're sets of worlds AND they're CCPs... Understand, or is too tough for you?

4 years agoMerge branch 'working'
Jim [Sun, 22 Mar 2015 17:06:52 +0000 (13:06 -0400)]
Merge branch 'working'

* working:
  add faye_dunaway.jpg

4 years agoadd faye_dunaway.jpg
Jim [Sun, 22 Mar 2015 17:06:46 +0000 (13:06 -0400)]
add faye_dunaway.jpg