Chris [Sun, 22 Feb 2015 14:03:42 +0000 (09:03 -0500)]
edits
Chris [Sat, 21 Feb 2015 23:36:29 +0000 (18:36 -0500)]
edits
Chris [Sat, 21 Feb 2015 23:30:34 +0000 (18:30 -0500)]
edits
Chris [Sat, 21 Feb 2015 23:27:46 +0000 (18:27 -0500)]
edits
Chris [Sat, 21 Feb 2015 22:56:18 +0000 (17:56 -0500)]
edits
Chris [Sat, 21 Feb 2015 22:04:58 +0000 (17:04 -0500)]
starting lecture on types
Chris [Sat, 21 Feb 2015 20:12:55 +0000 (15:12 -0500)]
typos
Chris [Sat, 21 Feb 2015 20:08:14 +0000 (15:08 -0500)]
re-solved the mutual recursion problem, just for fun. Close, but not exactly like the solution in the hint
Jim [Sat, 21 Feb 2015 14:15:57 +0000 (09:15 -0500)]
Merge branch 'working'
* working:
replace tattoo image
Jim [Sat, 21 Feb 2015 14:15:48 +0000 (09:15 -0500)]
replace tattoo image
jim [Sat, 21 Feb 2015 14:13:44 +0000 (09:13 -0500)]
fix some markup
jim [Fri, 20 Feb 2015 21:08:27 +0000 (16:08 -0500)]
post homework4
jim [Fri, 20 Feb 2015 21:07:57 +0000 (16:07 -0500)]
post homework4
jim [Fri, 20 Feb 2015 21:01:49 +0000 (16:01 -0500)]
rename exercises/_assignment4.mdwn to exercises/assignment4.mdwn
jim [Fri, 20 Feb 2015 21:01:37 +0000 (16:01 -0500)]
post tree questions
jim [Fri, 20 Feb 2015 20:35:24 +0000 (15:35 -0500)]
tweak
jim [Fri, 20 Feb 2015 20:26:46 +0000 (15:26 -0500)]
create page
jim [Fri, 20 Feb 2015 19:40:52 +0000 (14:40 -0500)]
add link to hint
chris [Fri, 20 Feb 2015 19:03:21 +0000 (14:03 -0500)]
jim [Fri, 20 Feb 2015 18:51:31 +0000 (13:51 -0500)]
revised inf arithmetic question again, like to ordinals, cardinals
jim [Fri, 20 Feb 2015 18:31:53 +0000 (13:31 -0500)]
remind about section shorthand
jim [Fri, 20 Feb 2015 18:29:40 +0000 (13:29 -0500)]
markup
jim [Fri, 20 Feb 2015 18:28:54 +0000 (13:28 -0500)]
tweak inf arithmetic comment
jim [Fri, 20 Feb 2015 18:26:17 +0000 (13:26 -0500)]
unfortunately, the infinite arithmetic question's arguments need to be flipped
jim [Fri, 20 Feb 2015 18:15:44 +0000 (13:15 -0500)]
caps
jim [Fri, 20 Feb 2015 18:14:19 +0000 (13:14 -0500)]
add more list functions to set question
jim [Fri, 20 Feb 2015 18:06:19 +0000 (13:06 -0500)]
need empty? for set questions
jim [Fri, 20 Feb 2015 18:02:46 +0000 (13:02 -0500)]
update links
jim [Fri, 20 Feb 2015 18:02:10 +0000 (13:02 -0500)]
add anchor #deriving-y
jim [Fri, 20 Feb 2015 17:58:55 +0000 (12:58 -0500)]
markup
jim [Fri, 20 Feb 2015 17:58:31 +0000 (12:58 -0500)]
add chris's YY question, further refinements elsewhere
jim [Fri, 20 Feb 2015 17:48:40 +0000 (12:48 -0500)]
update some functions
jim [Fri, 20 Feb 2015 16:54:27 +0000 (11:54 -0500)]
more cleanup
jim [Fri, 20 Feb 2015 16:36:41 +0000 (11:36 -0500)]
some cleanup, add set question
Jim [Fri, 20 Feb 2015 14:19:33 +0000 (09:19 -0500)]
Merge branch 'working'
* working:
tweak comment
jim [Fri, 20 Feb 2015 14:18:47 +0000 (09:18 -0500)]
posted more about... for week 4
jim [Fri, 20 Feb 2015 14:18:05 +0000 (09:18 -0500)]
posted more about... for week 4
jim [Fri, 20 Feb 2015 14:17:19 +0000 (09:17 -0500)]
rename topics/week4_more_fixed_points.mdwn to topics/week4_more_about_fixed_point_combinators.mdwn
jim [Fri, 20 Feb 2015 14:16:52 +0000 (09:16 -0500)]
cleanup
Jim [Fri, 20 Feb 2015 13:56:29 +0000 (08:56 -0500)]
tweak comment
jim [Fri, 20 Feb 2015 13:38:06 +0000 (08:38 -0500)]
Alpha-convert booleans
Jim [Fri, 20 Feb 2015 13:17:13 +0000 (08:17 -0500)]
push (old version of) q&a on fixed points
jim [Fri, 20 Feb 2015 13:09:21 +0000 (08:09 -0500)]
clean up week 3
jim [Fri, 20 Feb 2015 13:07:14 +0000 (08:07 -0500)]
post main Y notes, stubs for others
jim [Fri, 20 Feb 2015 13:05:11 +0000 (08:05 -0500)]
post main Y notes
jim [Fri, 20 Feb 2015 13:03:56 +0000 (08:03 -0500)]
clean up, move liar/truth-teller to separate document
jim [Fri, 20 Feb 2015 11:49:15 +0000 (06:49 -0500)]
rename topics/_week4_fixed_point_combinators.mdwn to topics/week4_fixed_point_combinators.mdwn
jim [Fri, 20 Feb 2015 11:49:01 +0000 (06:49 -0500)]
rename topics/_week4_fixed_point_combinator.mdwn to topics/_week4_fixed_point_combinators.mdwn
jim [Thu, 19 Feb 2015 20:12:06 +0000 (15:12 -0500)]
last commit before class, there are still some comments/TODOs for later
chris [Thu, 19 Feb 2015 19:13:01 +0000 (14:13 -0500)]
jim [Thu, 19 Feb 2015 18:06:47 +0000 (13:06 -0500)]
another round of cleanups
jim [Thu, 19 Feb 2015 17:45:14 +0000 (12:45 -0500)]
lot of alpha-conversion
jim [Thu, 19 Feb 2015 16:03:02 +0000 (11:03 -0500)]
more formatting, will now add substance
jim [Thu, 19 Feb 2015 15:24:56 +0000 (10:24 -0500)]
more formatting
jim [Thu, 19 Feb 2015 15:17:22 +0000 (10:17 -0500)]
try to make notice bolder
jim [Thu, 19 Feb 2015 15:16:32 +0000 (10:16 -0500)]
first pass, lots of formatting changes
jim [Thu, 19 Feb 2015 15:07:17 +0000 (10:07 -0500)]
add anchor for imp
jim [Thu, 19 Feb 2015 14:44:34 +0000 (09:44 -0500)]
add prefix
chris [Thu, 19 Feb 2015 14:18:57 +0000 (09:18 -0500)]
chris [Thu, 19 Feb 2015 14:17:40 +0000 (09:17 -0500)]
chris [Thu, 19 Feb 2015 14:16:23 +0000 (09:16 -0500)]
Chris [Thu, 19 Feb 2015 14:14:39 +0000 (09:14 -0500)]
added exercises
jim [Thu, 19 Feb 2015 08:52:27 +0000 (03:52 -0500)]
post stubs for week4
Jim [Thu, 19 Feb 2015 07:53:39 +0000 (02:53 -0500)]
add some images
jim [Wed, 18 Feb 2015 20:10:38 +0000 (15:10 -0500)]
add two sentences
Chris [Wed, 18 Feb 2015 20:02:08 +0000 (15:02 -0500)]
typos
Chris [Wed, 18 Feb 2015 19:55:13 +0000 (14:55 -0500)]
added draft of assignment4
Chris [Wed, 18 Feb 2015 19:54:30 +0000 (14:54 -0500)]
moved fixed point for succ to exercises
jim [Wed, 18 Feb 2015 18:34:23 +0000 (13:34 -0500)]
markup and typos, add commented note
jim [Wed, 18 Feb 2015 17:30:32 +0000 (12:30 -0500)]
link to Unit
jim [Wed, 18 Feb 2015 17:29:30 +0000 (12:29 -0500)]
link to Unit
jim [Wed, 18 Feb 2015 17:28:43 +0000 (12:28 -0500)]
finish
jim [Wed, 18 Feb 2015 16:22:00 +0000 (11:22 -0500)]
update
jim [Wed, 18 Feb 2015 15:49:18 +0000 (10:49 -0500)]
update
jim [Wed, 18 Feb 2015 14:17:31 +0000 (09:17 -0500)]
markup
jim [Wed, 18 Feb 2015 14:16:36 +0000 (09:16 -0500)]
create page
jim [Wed, 18 Feb 2015 10:17:40 +0000 (05:17 -0500)]
add more anchors
jim [Wed, 18 Feb 2015 04:24:15 +0000 (23:24 -0500)]
post answers
jim [Wed, 18 Feb 2015 04:23:24 +0000 (23:23 -0500)]
rename exercises/_assignment2_answers.mdwn to exercises/assignment2_answers.mdwn
jim [Wed, 18 Feb 2015 04:23:03 +0000 (23:23 -0500)]
post Hankin Chapter 4 reading, answers to homework 2
jim [Wed, 18 Feb 2015 04:18:26 +0000 (23:18 -0500)]
further refinements
jim [Wed, 18 Feb 2015 03:55:31 +0000 (22:55 -0500)]
fix markup
jim [Wed, 18 Feb 2015 03:51:34 +0000 (22:51 -0500)]
add shortcut rule to translation, refined exposition
jim [Wed, 18 Feb 2015 03:16:07 +0000 (22:16 -0500)]
Add old translation scheme back in (commented out), for reference
Chris [Tue, 17 Feb 2015 23:30:08 +0000 (18:30 -0500)]
typo
Chris [Tue, 17 Feb 2015 23:23:34 +0000 (18:23 -0500)]
the succ fixed point as arithmetic infinity
Chris [Tue, 17 Feb 2015 21:56:13 +0000 (16:56 -0500)]
edits
chris [Tue, 17 Feb 2015 21:40:26 +0000 (16:40 -0500)]
Chris [Tue, 17 Feb 2015 21:37:21 +0000 (16:37 -0500)]
edits for fixed-point
Chris [Tue, 17 Feb 2015 20:51:41 +0000 (15:51 -0500)]
replace get_length with length
Chris [Tue, 17 Feb 2015 02:59:29 +0000 (21:59 -0500)]
added disclaimer about revised lambda->CL map
Chris [Mon, 16 Feb 2015 21:19:29 +0000 (16:19 -0500)]
adjust
Chris [Mon, 16 Feb 2015 21:13:53 +0000 (16:13 -0500)]
switched the map from lambda to CL back to Barendregt's
jim [Mon, 16 Feb 2015 11:41:34 +0000 (06:41 -0500)]
tweak
jim [Sun, 15 Feb 2015 17:06:54 +0000 (12:06 -0500)]
cleanup
jim [Sun, 15 Feb 2015 16:55:59 +0000 (11:55 -0500)]
Kyle pointed out we had them define head in terms of Kapulet/fold_right last week
jim [Sun, 15 Feb 2015 16:19:23 +0000 (11:19 -0500)]
update links
jim [Sun, 15 Feb 2015 16:17:55 +0000 (11:17 -0500)]
update links
jim [Sun, 15 Feb 2015 16:16:49 +0000 (11:16 -0500)]
add #other-lists
jim [Sun, 15 Feb 2015 16:11:13 +0000 (11:11 -0500)]
add new encodings