jim [Sat, 4 Apr 2015 21:15:22 +0000 (17:15 -0400)]
remove comments
jim [Sat, 4 Apr 2015 21:14:57 +0000 (17:14 -0400)]
add comments
jim [Sat, 4 Apr 2015 21:14:34 +0000 (17:14 -0400)]
add link to using Juli8
jim [Sat, 4 Apr 2015 21:12:59 +0000 (17:12 -0400)]
create page
jim [Sat, 4 Apr 2015 16:25:07 +0000 (12:25 -0400)]
update for rename of topics/week9_using_monad_library.mdwn to topics/week9_using_the_monad_library.mdwn
jim [Sat, 4 Apr 2015 16:25:07 +0000 (12:25 -0400)]
rename topics/week9_using_monad_library.mdwn to topics/week9_using_the_monad_library.mdwn
jim [Sat, 4 Apr 2015 16:24:51 +0000 (12:24 -0400)]
clean up a bit
Chris [Sat, 4 Apr 2015 16:03:19 +0000 (12:03 -0400)]
one more exercise
Jim [Sat, 4 Apr 2015 15:41:31 +0000 (11:41 -0400)]
Merge branch 'working'
* working:
add/update monad code
Jim [Sat, 4 Apr 2015 15:41:06 +0000 (11:41 -0400)]
add/update monad code
jim [Sat, 4 Apr 2015 15:36:57 +0000 (11:36 -0400)]
link to Using monad library
jim [Sat, 4 Apr 2015 15:35:27 +0000 (11:35 -0400)]
create page
chris [Fri, 3 Apr 2015 20:55:40 +0000 (16:55 -0400)]
Chris [Fri, 3 Apr 2015 20:54:47 +0000 (16:54 -0400)]
arith1.ml
Chris [Fri, 3 Apr 2015 20:54:19 +0000 (16:54 -0400)]
exercises
Chris [Fri, 3 Apr 2015 20:06:53 +0000 (16:06 -0400)]
week 8 notes
jim [Thu, 2 Apr 2015 14:26:25 +0000 (10:26 -0400)]
fix some typos
jim [Thu, 2 Apr 2015 13:06:58 +0000 (09:06 -0400)]
fix some markup
jim [Thu, 2 Apr 2015 13:05:18 +0000 (09:05 -0400)]
post ramble
jim [Thu, 2 Apr 2015 13:04:56 +0000 (09:04 -0400)]
post link to week8_ramble
jim [Wed, 1 Apr 2015 20:23:35 +0000 (16:23 -0400)]
add quick instructions
jim [Wed, 1 Apr 2015 20:20:16 +0000 (16:20 -0400)]
post links to Juli8 and Monad.ml
Jim [Wed, 1 Apr 2015 18:28:55 +0000 (14:28 -0400)]
Merge branch 'working'
* working:
add OCaml main+list+monad libraries
Jim [Wed, 1 Apr 2015 18:28:41 +0000 (14:28 -0400)]
add OCaml main+list+monad libraries
jim [Wed, 1 Apr 2015 16:59:04 +0000 (12:59 -0400)]
stubs
chris [Mon, 30 Mar 2015 02:05:34 +0000 (22:05 -0400)]
chris [Mon, 30 Mar 2015 02:00:54 +0000 (22:00 -0400)]
chris [Mon, 30 Mar 2015 01:58:39 +0000 (21:58 -0400)]
chris [Mon, 30 Mar 2015 01:57:50 +0000 (21:57 -0400)]
Chris [Mon, 30 Mar 2015 01:56:16 +0000 (21:56 -0400)]
edits
Chris [Mon, 30 Mar 2015 01:53:16 +0000 (21:53 -0400)]
edits
chris [Mon, 30 Mar 2015 01:36:04 +0000 (21:36 -0400)]
chris [Mon, 30 Mar 2015 01:35:20 +0000 (21:35 -0400)]
chris [Mon, 30 Mar 2015 01:34:09 +0000 (21:34 -0400)]
Chris [Mon, 30 Mar 2015 01:31:59 +0000 (21:31 -0400)]
reader monad
jim [Fri, 27 Mar 2015 07:05:44 +0000 (03:05 -0400)]
cyclic structures
jim [Wed, 25 Mar 2015 20:09:40 +0000 (16:09 -0400)]
typo, thanks Kyle
Jim [Wed, 25 Mar 2015 16:17:55 +0000 (12:17 -0400)]
typo in untyped_evaluator
Jim [Wed, 25 Mar 2015 10:01:17 +0000 (06:01 -0400)]
fix another typo on ski_evaluator
Jim [Wed, 25 Mar 2015 10:00:39 +0000 (06:00 -0400)]
fix typo on ski_evaluator
Jim [Wed, 25 Mar 2015 09:59:47 +0000 (05:59 -0400)]
fix result types on ski_evaluator
Jim [Wed, 25 Mar 2015 09:53:25 +0000 (05:53 -0400)]
Merge branch 'working'
* working:
add comments to ski_evaluator
Jim [Wed, 25 Mar 2015 09:53:22 +0000 (05:53 -0400)]
add comments to ski_evaluator
Chris [Wed, 25 Mar 2015 02:49:32 +0000 (22:49 -0400)]
edits
jim [Wed, 25 Mar 2015 02:09:56 +0000 (22:09 -0400)]
shell scripts use dynamic binding
jim [Wed, 25 Mar 2015 01:57:31 +0000 (21:57 -0400)]
typo
Jim [Wed, 25 Mar 2015 00:09:43 +0000 (20:09 -0400)]
Merge branch 'working'
* working:
update untyped_eval to 1.7
Jim [Wed, 25 Mar 2015 00:09:37 +0000 (20:09 -0400)]
update untyped_eval to 1.7
Jim [Tue, 24 Mar 2015 21:52:53 +0000 (17:52 -0400)]
Merge branch 'working'
* working:
Revert "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.
Jim [Tue, 24 Mar 2015 21:30:56 +0000 (17:30 -0400)]
Merge branch 'working'
* working:
update untyped_eval to 1.6
Jim [Tue, 24 Mar 2015 21:30:52 +0000 (17:30 -0400)]
update untyped_eval to 1.6
jim [Tue, 24 Mar 2015 18:14:55 +0000 (14:14 -0400)]
post hidden stuff
Jim [Tue, 24 Mar 2015 17:52:03 +0000 (13:52 -0400)]
Merge branch 'working'
* working:
update untyped_eval to 1.5
Jim [Tue, 24 Mar 2015 17:51:58 +0000 (13:51 -0400)]
update untyped_eval to 1.5
jim [Tue, 24 Mar 2015 17:40:37 +0000 (13:40 -0400)]
T combinator
Jim [Tue, 24 Mar 2015 17:25:18 +0000 (13:25 -0400)]
update untyped_eval to 1.4
jim [Tue, 24 Mar 2015 14:54:52 +0000 (10:54 -0400)]
remove TODO
jim [Tue, 24 Mar 2015 14:28:50 +0000 (10:28 -0400)]
more results that aren't terms
jim [Tue, 24 Mar 2015 14:26:39 +0000 (10:26 -0400)]
expand about environments
jim [Tue, 24 Mar 2015 14:06:13 +0000 (10:06 -0400)]
add parentheses
jim [Tue, 24 Mar 2015 14:04:17 +0000 (10:04 -0400)]
tweak
jim [Tue, 24 Mar 2015 13:31:54 +0000 (09:31 -0400)]
inconsistent-->unsound
jim [Tue, 24 Mar 2015 13:17:23 +0000 (09:17 -0400)]
≡ means syntactic identity, not equivalence
jim [Tue, 24 Mar 2015 13:12:24 +0000 (09:12 -0400)]
whoops, tree_best_sofar (direct) had a bug
jim [Tue, 24 Mar 2015 00:52:08 +0000 (20:52 -0400)]
fix link
Jim [Tue, 24 Mar 2015 00:51:08 +0000 (20:51 -0400)]
Merge branch 'working'
* working:
symlink doesn't work
Jim [Tue, 24 Mar 2015 00:51:02 +0000 (20:51 -0400)]
symlink doesn't work
jim [Tue, 24 Mar 2015 00:49:40 +0000 (20:49 -0400)]
add toc
jim [Tue, 24 Mar 2015 00:48:37 +0000 (20:48 -0400)]
update link
Jim [Tue, 24 Mar 2015 00:47:11 +0000 (20:47 -0400)]
Merge branch 'working'
* working:
update untyped code
Jim [Tue, 24 Mar 2015 00:47:05 +0000 (20:47 -0400)]
update untyped code
Jim [Tue, 24 Mar 2015 00:08:00 +0000 (20:08 -0400)]
Merge branch 'working'
* working:
tweak untyped_evaluators, add symlink
Jim [Tue, 24 Mar 2015 00:07:49 +0000 (20:07 -0400)]
tweak untyped_evaluators, add symlink
jim [Tue, 24 Mar 2015 00:02:57 +0000 (20:02 -0400)]
post/update links
jim [Mon, 23 Mar 2015 23:59:09 +0000 (19:59 -0400)]
formatting
jim [Mon, 23 Mar 2015 23:58:39 +0000 (19:58 -0400)]
post links
jim [Mon, 23 Mar 2015 23:56:24 +0000 (19:56 -0400)]
rename topics/_week7_interpreter_exposition.mdwn to topics/week7_untyped_evaluator.mdwn
jim [Mon, 23 Mar 2015 23:56:06 +0000 (19:56 -0400)]
edits
jim [Mon, 23 Mar 2015 23:50:22 +0000 (19:50 -0400)]
add #primed
jim [Mon, 23 Mar 2015 23:10:00 +0000 (19:10 -0400)]
edits?
jim [Mon, 23 Mar 2015 23:08:41 +0000 (19:08 -0400)]
add link to Closures
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
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
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
jim [Mon, 23 Mar 2015 23:06:40 +0000 (19:06 -0400)]
edits
jim [Mon, 23 Mar 2015 23:01:17 +0000 (19:01 -0400)]
extract closures discussion to separate page
jim [Mon, 23 Mar 2015 22:59:51 +0000 (18:59 -0400)]
create page
jim [Mon, 23 Mar 2015 21:35:13 +0000 (17:35 -0400)]
add more bold
jim [Mon, 23 Mar 2015 21:18:18 +0000 (17:18 -0400)]
add update note
jim [Mon, 23 Mar 2015 21:18:03 +0000 (17:18 -0400)]
add update note
jim [Mon, 23 Mar 2015 21:16:51 +0000 (17:16 -0400)]
add toc
jim [Mon, 23 Mar 2015 21:16:11 +0000 (17:16 -0400)]
tweak
jim [Mon, 23 Mar 2015 21:14:58 +0000 (17:14 -0400)]
add explanation of Closures
jim [Mon, 23 Mar 2015 19:36:02 +0000 (15:36 -0400)]
fix markup
jim [Mon, 23 Mar 2015 19:35:20 +0000 (15:35 -0400)]
fix markup
jim [Mon, 23 Mar 2015 19:34:22 +0000 (15:34 -0400)]
add #occurs_free
jim [Mon, 23 Mar 2015 19:33:53 +0000 (15:33 -0400)]
add #occurs_free
Jim [Mon, 23 Mar 2015 17:46:29 +0000 (13:46 -0400)]
Merge branch 'working'
* working:
add V combinator to lambda_evaluator
Jim [Mon, 23 Mar 2015 17:46:21 +0000 (13:46 -0400)]
add V combinator to lambda_evaluator