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
Jim [Mon, 23 Mar 2015 16:44:33 +0000 (12:44 -0400)]
Merge branch 'working'
* working:
add code/interp-1.2.tgz
Jim [Mon, 23 Mar 2015 16:44:24 +0000 (12:44 -0400)]
add code/interp-1.2.tgz
Jim [Mon, 23 Mar 2015 16:35:18 +0000 (12:35 -0400)]
Merge branch 'working'
* working:
untyped eval: tweaks
Jim [Mon, 23 Mar 2015 16:35:14 +0000 (12:35 -0400)]
untyped eval: tweaks
Jim [Mon, 23 Mar 2015 15:48:44 +0000 (11:48 -0400)]
Merge branch 'working'
* working:
untyped eval: V[12]-->V[AB]
Jim [Mon, 23 Mar 2015 15:48:39 +0000 (11:48 -0400)]
untyped eval: V[12]-->V[AB]
jim [Mon, 23 Mar 2015 14:33:20 +0000 (10:33 -0400)]
fix link
jim [Mon, 23 Mar 2015 14:32:39 +0000 (10:32 -0400)]
update note
jim [Mon, 23 Mar 2015 14:32:09 +0000 (10:32 -0400)]
update note
jim [Mon, 23 Mar 2015 14:27:45 +0000 (10:27 -0400)]
typo
jim [Mon, 23 Mar 2015 14:20:51 +0000 (10:20 -0400)]
markup
jim [Mon, 23 Mar 2015 14:18:51 +0000 (10:18 -0400)]
formating
jim [Mon, 23 Mar 2015 14:18:15 +0000 (10:18 -0400)]
use arrow for mid
jim [Mon, 23 Mar 2015 14:17:11 +0000 (10:17 -0400)]
use arrow for mid
jim [Mon, 23 Mar 2015 14:12:19 +0000 (10:12 -0400)]
remove spaces after applications of mid
jim [Mon, 23 Mar 2015 14:09:21 +0000 (10:09 -0400)]
change m$ to ¢
jim [Mon, 23 Mar 2015 14:06:16 +0000 (10:06 -0400)]
change mid to double up arrow U+2e17
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
Jim [Mon, 23 Mar 2015 13:36:33 +0000 (09:36 -0400)]
add some old code, let's review/update before publishing
jim [Mon, 23 Mar 2015 02:34:21 +0000 (22:34 -0400)]
again with the markup
jim [Mon, 23 Mar 2015 02:34:01 +0000 (22:34 -0400)]
markup
jim [Mon, 23 Mar 2015 02:33:24 +0000 (22:33 -0400)]
post safe division, rename/reorg a bit
jim [Mon, 23 Mar 2015 02:27:17 +0000 (22:27 -0400)]
link to safe division
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
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
jim [Mon, 23 Mar 2015 02:24:53 +0000 (22:24 -0400)]
polish
jim [Mon, 23 Mar 2015 01:52:25 +0000 (21:52 -0400)]
move do-notation links
jim [Mon, 23 Mar 2015 01:41:41 +0000 (21:41 -0400)]
explain comments
jim [Sun, 22 Mar 2015 17:10:14 +0000 (13:10 -0400)]
move link
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?
Jim [Sun, 22 Mar 2015 17:06:52 +0000 (13:06 -0400)]
Merge branch 'working'
* working:
add faye_dunaway.jpg
Jim [Sun, 22 Mar 2015 17:06:46 +0000 (13:06 -0400)]
add faye_dunaway.jpg
jim [Sun, 22 Mar 2015 16:35:50 +0000 (12:35 -0400)]
explain "cohere"
jim [Sun, 22 Mar 2015 16:30:33 +0000 (12:30 -0400)]
formatting
jim [Sun, 22 Mar 2015 16:29:28 +0000 (12:29 -0400)]
add Monads made hard link to Category Theory links
jim [Sun, 22 Mar 2015 16:21:55 +0000 (12:21 -0400)]
extra line
jim [Sun, 22 Mar 2015 16:19:51 +0000 (12:19 -0400)]
tweak List.>>= explanation
jim [Sun, 22 Mar 2015 16:17:20 +0000 (12:17 -0400)]
tweak diagram
jim [Sun, 22 Mar 2015 16:14:20 +0000 (12:14 -0400)]
refinements, diagrams
jim [Sun, 22 Mar 2015 15:24:06 +0000 (11:24 -0400)]
More explicitness
jim [Sun, 22 Mar 2015 15:21:54 +0000 (11:21 -0400)]
reorganize
jim [Sun, 22 Mar 2015 15:18:58 +0000 (11:18 -0400)]
formatting
Jim [Sun, 22 Mar 2015 15:09:04 +0000 (11:09 -0400)]
Merge branch 'working'
* working:
change env implementations to assoc list
Jim [Sun, 22 Mar 2015 15:08:59 +0000 (11:08 -0400)]
change env implementations to assoc list
jim [Sun, 22 Mar 2015 14:26:55 +0000 (10:26 -0400)]
jim [Sun, 22 Mar 2015 14:26:09 +0000 (10:26 -0400)]
removed
jim [Sun, 22 Mar 2015 14:25:42 +0000 (10:25 -0400)]
tweaks
jim [Sun, 22 Mar 2015 14:10:51 +0000 (10:10 -0400)]
add addl reading section
jim [Sun, 22 Mar 2015 13:30:44 +0000 (09:30 -0400)]
more refinements
jim [Sun, 22 Mar 2015 12:54:25 +0000 (08:54 -0400)]
some refinements
jim [Sun, 22 Mar 2015 12:44:03 +0000 (08:44 -0400)]
some refinements
Jim [Sun, 22 Mar 2015 12:25:55 +0000 (08:25 -0400)]
add monads_in_general for scratch
Jim [Sun, 22 Mar 2015 12:14:02 +0000 (08:14 -0400)]
add comments to untyped_evals again
Jim [Sun, 22 Mar 2015 12:10:08 +0000 (08:10 -0400)]
Merge branch 'working'
* working:
add comments to untyped_evals
Jim [Sun, 22 Mar 2015 12:09:43 +0000 (08:09 -0400)]
add comments to untyped_evals
jim [Sat, 21 Mar 2015 23:28:02 +0000 (19:28 -0400)]
tweaks
jim [Sat, 21 Mar 2015 19:30:10 +0000 (15:30 -0400)]
removed
jim [Sat, 21 Mar 2015 19:19:00 +0000 (15:19 -0400)]
post week4 answers
jim [Sat, 21 Mar 2015 19:18:16 +0000 (15:18 -0400)]
post week4 answers
jim [Sat, 21 Mar 2015 19:17:02 +0000 (15:17 -0400)]
finish
jim [Sat, 21 Mar 2015 17:18:13 +0000 (13:18 -0400)]
add set_equal?
jim [Sat, 21 Mar 2015 17:02:38 +0000 (13:02 -0400)]
most answers done
jim [Sat, 21 Mar 2015 16:07:26 +0000 (12:07 -0400)]
removed
jim [Sat, 21 Mar 2015 16:05:00 +0000 (12:05 -0400)]
create page
jim [Sat, 21 Mar 2015 16:03:47 +0000 (12:03 -0400)]
remove Safe division
jim [Sat, 21 Mar 2015 16:03:21 +0000 (12:03 -0400)]
warning about mu, some tweaks
jim [Sat, 21 Mar 2015 15:53:26 +0000 (11:53 -0400)]
fix type of sysf_iszero, add sysf_pred
jim [Sat, 21 Mar 2015 15:11:57 +0000 (11:11 -0400)]
remove "posted late" notice
jim [Sat, 21 Mar 2015 15:11:05 +0000 (11:11 -0400)]
remove/update some "coming soon" notices
jim [Sat, 21 Mar 2015 15:09:02 +0000 (11:09 -0400)]
remove "coming soon" notices
jim [Sat, 21 Mar 2015 15:06:16 +0000 (11:06 -0400)]
link to week 5 answers
jim [Sat, 21 Mar 2015 15:05:21 +0000 (11:05 -0400)]
link to week 5 answers
jim [Sat, 21 Mar 2015 14:45:35 +0000 (10:45 -0400)]
Explain why blackhole and blackhole () can have the same type
jim [Sat, 21 Mar 2015 14:37:20 +0000 (10:37 -0400)]
expand about eval order
jim [Sat, 21 Mar 2015 14:35:41 +0000 (10:35 -0400)]
fix explanation of rejected types
jim [Sat, 21 Mar 2015 14:08:22 +0000 (10:08 -0400)]
replace deleted line
jim [Sat, 21 Mar 2015 14:07:48 +0000 (10:07 -0400)]
replace deleted line
jim [Sat, 21 Mar 2015 14:01:12 +0000 (10:01 -0400)]
tweak
jim [Sat, 21 Mar 2015 14:00:10 +0000 (10:00 -0400)]
fix System F booleans
jim [Sat, 21 Mar 2015 13:30:32 +0000 (09:30 -0400)]
spelling
jim [Sat, 21 Mar 2015 13:26:29 +0000 (09:26 -0400)]
markup
jim [Sat, 21 Mar 2015 12:58:36 +0000 (08:58 -0400)]
tweak
jim [Sat, 21 Mar 2015 12:56:50 +0000 (08:56 -0400)]
add some more
jim [Sat, 21 Mar 2015 08:48:34 +0000 (04:48 -0400)]
add some stuff
jim [Sat, 21 Mar 2015 08:32:22 +0000 (04:32 -0400)]
more answers
jim [Sat, 21 Mar 2015 07:49:42 +0000 (03:49 -0400)]
add some more
jim [Sat, 21 Mar 2015 07:33:52 +0000 (03:33 -0400)]
add some answers
jim [Sat, 21 Mar 2015 01:02:53 +0000 (21:02 -0400)]
add hints
jim [Sat, 21 Mar 2015 01:01:09 +0000 (21:01 -0400)]
create page
jim [Sat, 21 Mar 2015 01:00:16 +0000 (21:00 -0400)]
create page
Jim [Fri, 20 Mar 2015 23:41:25 +0000 (19:41 -0400)]
whoops
Jim [Fri, 20 Mar 2015 23:36:51 +0000 (19:36 -0400)]
update homework
Jim [Fri, 20 Mar 2015 23:32:22 +0000 (19:32 -0400)]
provide gappy untyped_evaluator.ml
Jim [Fri, 20 Mar 2015 23:27:57 +0000 (19:27 -0400)]
refine untyped_evaluator