lambda.git
5 years agolink to hint
jim [Sun, 1 Mar 2015 21:04:24 +0000 (16:04 -0500)]
link to hint

5 years agocreate page
jim [Sun, 1 Mar 2015 21:03:26 +0000 (16:03 -0500)]
create page

5 years agocreate page
jim [Sun, 1 Mar 2015 21:02:49 +0000 (16:02 -0500)]
create page

5 years agoready to go?
jim [Sun, 1 Mar 2015 20:57:38 +0000 (15:57 -0500)]
ready to go?

5 years agoalmost done
jim [Sun, 1 Mar 2015 18:42:16 +0000 (13:42 -0500)]
almost done

5 years agorevisions
jim [Sun, 1 Mar 2015 18:32:35 +0000 (13:32 -0500)]
revisions

5 years agowork in progress
jim [Sun, 1 Mar 2015 16:49:26 +0000 (11:49 -0500)]
work in progress

5 years agopred attribution
jim [Sun, 1 Mar 2015 04:43:20 +0000 (23:43 -0500)]
pred attribution

5 years ago(no commit message)
chris [Thu, 26 Feb 2015 18:42:15 +0000 (13:42 -0500)]

5 years agoedits
Chris [Thu, 26 Feb 2015 18:41:24 +0000 (13:41 -0500)]
edits

5 years agomerge working
Chris [Thu, 26 Feb 2015 18:25:29 +0000 (13:25 -0500)]
merge working

5 years agoedits
Chris [Thu, 26 Feb 2015 18:24:58 +0000 (13:24 -0500)]
edits

5 years agoedits
Chris [Thu, 26 Feb 2015 18:15:13 +0000 (13:15 -0500)]
edits

5 years agoedits
Chris [Thu, 26 Feb 2015 18:13:09 +0000 (13:13 -0500)]
edits

5 years ago(no commit message)
chris [Thu, 26 Feb 2015 02:49:49 +0000 (21:49 -0500)]

5 years ago(no commit message)
chris [Thu, 26 Feb 2015 02:47:45 +0000 (21:47 -0500)]

5 years ago(no commit message)
chris [Thu, 26 Feb 2015 02:43:42 +0000 (21:43 -0500)]

5 years ago(no commit message)
chris [Thu, 26 Feb 2015 02:40:39 +0000 (21:40 -0500)]

5 years ago(no commit message)
chris [Thu, 26 Feb 2015 02:38:00 +0000 (21:38 -0500)]

5 years ago(no commit message)
chris [Thu, 26 Feb 2015 02:34:42 +0000 (21:34 -0500)]

5 years ago(no commit message)
chris [Thu, 26 Feb 2015 02:25:40 +0000 (21:25 -0500)]

5 years ago(no commit message)
chris [Thu, 26 Feb 2015 02:18:04 +0000 (21:18 -0500)]

5 years ago(no commit message)
chris [Thu, 26 Feb 2015 02:04:38 +0000 (21:04 -0500)]

5 years ago(no commit message)
chris [Thu, 26 Feb 2015 01:59:24 +0000 (20:59 -0500)]

5 years agoedits
Chris [Wed, 25 Feb 2015 18:40:10 +0000 (13:40 -0500)]
edits

5 years agoMerge branch 'working'
Chris [Wed, 25 Feb 2015 18:32:17 +0000 (13:32 -0500)]
Merge branch 'working'

5 years agogeneralized conjunction
Chris [Wed, 25 Feb 2015 18:31:54 +0000 (13:31 -0500)]
generalized conjunction

5 years agoadd note about Pierce
jim [Wed, 25 Feb 2015 16:41:30 +0000 (11:41 -0500)]
add note about Pierce

5 years agowording
jim [Wed, 25 Feb 2015 15:50:20 +0000 (10:50 -0500)]
wording

5 years agoprobably most efficient
jim [Tue, 24 Feb 2015 23:39:41 +0000 (18:39 -0500)]
probably most efficient

5 years agothird solution for left_head
jim [Tue, 24 Feb 2015 23:38:27 +0000 (18:38 -0500)]
third solution for left_head

5 years agomerge
Chris [Tue, 24 Feb 2015 22:25:52 +0000 (17:25 -0500)]
merge

5 years agoassignment 5 draft
Chris [Tue, 24 Feb 2015 22:25:22 +0000 (17:25 -0500)]
assignment 5 draft

5 years ago(no commit message)
chris [Tue, 24 Feb 2015 21:45:46 +0000 (16:45 -0500)]

5 years ago(no commit message)
chris [Tue, 24 Feb 2015 21:45:05 +0000 (16:45 -0500)]

5 years ago(no commit message)
chris [Tue, 24 Feb 2015 21:44:37 +0000 (16:44 -0500)]

5 years agoedits
Chris [Tue, 24 Feb 2015 21:43:38 +0000 (16:43 -0500)]
edits

5 years agomerging edits
Chris [Tue, 24 Feb 2015 21:25:27 +0000 (16:25 -0500)]
merging edits

5 years agoedits
Chris [Tue, 24 Feb 2015 21:24:47 +0000 (16:24 -0500)]
edits

5 years agotweak explanation of Bunder/Urbanek pred
jim [Tue, 24 Feb 2015 20:42:21 +0000 (15:42 -0500)]
tweak explanation of Bunder/Urbanek pred

5 years agoedits
Chris [Tue, 24 Feb 2015 18:58:19 +0000 (13:58 -0500)]
edits

5 years agopred in system F
Chris [Tue, 24 Feb 2015 15:00:01 +0000 (10:00 -0500)]
pred in system F

5 years agoadd comment
jim [Tue, 24 Feb 2015 13:57:45 +0000 (08:57 -0500)]
add comment

5 years agoposted week3-evaluation order
jim [Tue, 24 Feb 2015 00:36:14 +0000 (19:36 -0500)]
posted week3-evaluation order

5 years agopost week3-evaluation order
jim [Tue, 24 Feb 2015 00:33:40 +0000 (19:33 -0500)]
post week3-evaluation order

5 years agorename topics/_week3_eval_order.mdwn to topics/week3_evaluation_order.mdwn
jim [Tue, 24 Feb 2015 00:32:32 +0000 (19:32 -0500)]
rename topics/_week3_eval_order.mdwn to topics/week3_evaluation_order.mdwn

5 years agocleanup
jim [Tue, 24 Feb 2015 00:32:17 +0000 (19:32 -0500)]
cleanup

5 years agoedits
Chris [Mon, 23 Feb 2015 21:43:07 +0000 (16:43 -0500)]
edits

5 years agoedits
Chris [Mon, 23 Feb 2015 21:40:54 +0000 (16:40 -0500)]
edits

5 years agodefined system f
Chris [Mon, 23 Feb 2015 20:34:55 +0000 (15:34 -0500)]
defined system f

5 years agodefined system f
Chris [Mon, 23 Feb 2015 20:34:13 +0000 (15:34 -0500)]
defined system f

5 years agotypos
jim [Mon, 23 Feb 2015 19:27:19 +0000 (14:27 -0500)]
typos

5 years agoadd note about generalization
jim [Mon, 23 Feb 2015 19:22:49 +0000 (14:22 -0500)]
add note about generalization

5 years agoadd note about generalization
jim [Mon, 23 Feb 2015 19:22:23 +0000 (14:22 -0500)]
add note about generalization

5 years agodelete cruft
jim [Mon, 23 Feb 2015 19:17:05 +0000 (14:17 -0500)]
delete cruft

5 years agoadjustments
Chris [Mon, 23 Feb 2015 19:16:36 +0000 (14:16 -0500)]
adjustments

5 years agoadjustments
Chris [Mon, 23 Feb 2015 19:16:04 +0000 (14:16 -0500)]
adjustments

5 years agoedits
Chris [Mon, 23 Feb 2015 19:15:07 +0000 (14:15 -0500)]
edits

5 years agoedits
Chris [Mon, 23 Feb 2015 19:14:28 +0000 (14:14 -0500)]
edits

5 years ago(no commit message)
chris [Mon, 23 Feb 2015 18:41:13 +0000 (13:41 -0500)]

5 years agoMerge branch 'working'
Chris [Mon, 23 Feb 2015 18:38:32 +0000 (13:38 -0500)]
Merge branch 'working'

5 years agoedits in eval order
Chris [Mon, 23 Feb 2015 18:37:42 +0000 (13:37 -0500)]
edits in eval order

5 years agopost answers
jim [Mon, 23 Feb 2015 18:34:24 +0000 (13:34 -0500)]
post answers

5 years agopost week 3 answers
jim [Mon, 23 Feb 2015 18:33:44 +0000 (13:33 -0500)]
post week 3 answers

5 years agofix link
jim [Mon, 23 Feb 2015 18:32:57 +0000 (13:32 -0500)]
fix link

5 years agoadd <a id=flipped-cons>
jim [Mon, 23 Feb 2015 18:32:22 +0000 (13:32 -0500)]
add <a id=flipped-cons>

5 years agocreate page
jim [Mon, 23 Feb 2015 18:28:05 +0000 (13:28 -0500)]
create page

5 years ago(no commit message)
chris [Mon, 23 Feb 2015 18:04:57 +0000 (13:04 -0500)]

5 years agoincorporated
Chris [Mon, 23 Feb 2015 18:02:39 +0000 (13:02 -0500)]
incorporated
discussion of Ty2

5 years agoadd <a id=cps-reverse>
jim [Mon, 23 Feb 2015 16:59:46 +0000 (11:59 -0500)]
add <a id=cps-reverse>

5 years agoedits
Chris [Mon, 23 Feb 2015 16:39:21 +0000 (11:39 -0500)]
edits

5 years agoadded discussion of Montague's PTQ
Chris [Mon, 23 Feb 2015 16:25:14 +0000 (11:25 -0500)]
added discussion of Montague's PTQ

5 years agonot WIP
jim [Mon, 23 Feb 2015 14:20:31 +0000 (09:20 -0500)]
not WIP

5 years agotweak
jim [Mon, 23 Feb 2015 14:19:18 +0000 (09:19 -0500)]
tweak

5 years agonote on Little Schemer Ch. 8
jim [Mon, 23 Feb 2015 14:18:07 +0000 (09:18 -0500)]
note on Little Schemer Ch. 8

5 years agoMore comments on The Little Schemer, non-total functions
jim [Mon, 23 Feb 2015 07:04:42 +0000 (02:04 -0500)]
More comments on The Little Schemer, non-total functions

5 years agofix link
jim [Mon, 23 Feb 2015 06:42:24 +0000 (01:42 -0500)]
fix link

5 years agoadd Q comparing our exposition to The Little Schemer's
jim [Mon, 23 Feb 2015 06:41:35 +0000 (01:41 -0500)]
add Q comparing our exposition to The Little Schemer's

5 years agoadd <a id=little-h>
jim [Mon, 23 Feb 2015 06:23:37 +0000 (01:23 -0500)]
add <a id=little-h>

5 years agoThe Little Schemer's eternity
jim [Mon, 23 Feb 2015 06:16:45 +0000 (01:16 -0500)]
The Little Schemer's eternity

5 years agoadd comment about The Little Schemer
jim [Mon, 23 Feb 2015 06:14:36 +0000 (01:14 -0500)]
add comment about The Little Schemer

5 years agoadd note about The Little Schemer
jim [Mon, 23 Feb 2015 06:08:15 +0000 (01:08 -0500)]
add note about The Little Schemer

5 years agoadd comment about The Little Schemer
jim [Mon, 23 Feb 2015 06:05:11 +0000 (01:05 -0500)]
add comment about The Little Schemer

5 years agoformatting
jim [Mon, 23 Feb 2015 06:00:16 +0000 (01:00 -0500)]
formatting

5 years agoadd comments about The Little Schemer
jim [Mon, 23 Feb 2015 05:59:23 +0000 (00:59 -0500)]
add comments about The Little Schemer

5 years agoformatting
jim [Sun, 22 Feb 2015 23:36:26 +0000 (18:36 -0500)]
formatting

5 years agoadd suggestion about leaf? function
jim [Sun, 22 Feb 2015 23:34:36 +0000 (18:34 -0500)]
add suggestion about leaf? function

5 years agoAdded system F
Chris [Sun, 22 Feb 2015 22:32:47 +0000 (17:32 -0500)]
Added system F

5 years agotweaks
jim [Sun, 22 Feb 2015 21:57:55 +0000 (16:57 -0500)]
tweaks

5 years agostupid git
Chris [Sun, 22 Feb 2015 21:54:39 +0000 (16:54 -0500)]
stupid git

5 years agoedits
Chris [Sun, 22 Feb 2015 21:53:20 +0000 (16:53 -0500)]
edits

5 years agomissing paren
jim [Sun, 22 Feb 2015 21:52:49 +0000 (16:52 -0500)]
missing paren

5 years agoadd paragraph about Little Schemer
jim [Sun, 22 Feb 2015 21:51:32 +0000 (16:51 -0500)]
add paragraph about Little Schemer

5 years agoedits
Chris [Sun, 22 Feb 2015 21:45:11 +0000 (16:45 -0500)]
edits

5 years agotweaks
jim [Sun, 22 Feb 2015 21:39:30 +0000 (16:39 -0500)]
tweaks

5 years agoMerge branch 'master' of main.jimpryor.net:/srv/lambda/lambda
Chris [Sun, 22 Feb 2015 21:38:28 +0000 (16:38 -0500)]
Merge branch 'master' of main.jimpryor.net:/srv/lambda/lambda

5 years agoadd explanatory paragraph
jim [Sun, 22 Feb 2015 21:37:50 +0000 (16:37 -0500)]
add explanatory paragraph

5 years agoMerge branch 'working'
Chris [Sun, 22 Feb 2015 21:37:40 +0000 (16:37 -0500)]
Merge branch 'working'

5 years agowhy
Chris [Sun, 22 Feb 2015 21:36:18 +0000 (16:36 -0500)]
why
pred can't be typed

5 years agoclean up last Q&A
jim [Sun, 22 Feb 2015 21:34:02 +0000 (16:34 -0500)]
clean up last Q&A