lambda.git
4 years agopublishing eval CL
Chris [Sat, 14 Mar 2015 17:39:57 +0000 (13:39 -0400)]
publishing eval CL

4 years agoedits
Chris [Sat, 14 Mar 2015 17:22:18 +0000 (13:22 -0400)]
edits

4 years agoadded complete substitution code
Chris [Sat, 14 Mar 2015 13:57:31 +0000 (09:57 -0400)]
added complete substitution code

4 years agoedits
Chris [Sat, 14 Mar 2015 13:55:57 +0000 (09:55 -0400)]
edits

4 years agoedits
Chris [Sat, 14 Mar 2015 13:54:47 +0000 (09:54 -0400)]
edits

4 years agoedits
Chris [Sat, 14 Mar 2015 13:52:11 +0000 (09:52 -0400)]
edits

4 years agoexercises
Chris [Sat, 14 Mar 2015 13:50:30 +0000 (09:50 -0400)]
exercises

4 years agodeveloping exx
Chris [Sat, 14 Mar 2015 13:18:30 +0000 (09:18 -0400)]
developing exx

4 years agohuh
Chris [Sat, 14 Mar 2015 12:52:07 +0000 (08:52 -0400)]
huh

4 years agoadded reduction code
Chris [Sat, 14 Mar 2015 12:51:22 +0000 (08:51 -0400)]
added reduction code

4 years agoadded code
Chris [Sat, 14 Mar 2015 12:24:35 +0000 (08:24 -0400)]
added code

4 years agoass 6
Chris [Sat, 14 Mar 2015 12:21:18 +0000 (08:21 -0400)]
ass 6

4 years agomove
Chris [Sat, 14 Mar 2015 12:18:49 +0000 (08:18 -0400)]
move

4 years agohw6
Chris [Sat, 14 Mar 2015 12:14:10 +0000 (08:14 -0400)]
hw6

4 years agoedits
Chris [Sat, 14 Mar 2015 11:49:45 +0000 (07:49 -0400)]
edits

4 years ago(no commit message)
chris [Thu, 12 Mar 2015 14:32:02 +0000 (10:32 -0400)]

4 years agoedits
Chris [Thu, 12 Mar 2015 01:38:05 +0000 (21:38 -0400)]
edits

4 years agoadded Wordsworth
Chris [Thu, 12 Mar 2015 01:01:58 +0000 (21:01 -0400)]
added Wordsworth

4 years agoadded exercise
Chris [Wed, 11 Mar 2015 20:03:58 +0000 (16:03 -0400)]
added exercise

4 years agoedits
Chris [Tue, 10 Mar 2015 14:55:12 +0000 (10:55 -0400)]
edits

4 years agoedits
Chris [Mon, 9 Mar 2015 20:10:32 +0000 (16:10 -0400)]
edits

4 years agoedits
Chris [Mon, 9 Mar 2015 20:10:06 +0000 (16:10 -0400)]
edits

4 years agoedits
Chris [Mon, 9 Mar 2015 20:03:01 +0000 (16:03 -0400)]
edits

4 years agoadded a bit about principle types
Chris [Mon, 9 Mar 2015 19:59:53 +0000 (15:59 -0400)]
added a bit about principle types

4 years ago(no commit message)
chris [Mon, 9 Mar 2015 18:43:10 +0000 (14:43 -0400)]

4 years agostarted exercises
Chris [Mon, 9 Mar 2015 01:20:12 +0000 (21:20 -0400)]
started exercises

4 years ago(no commit message)
chris [Sun, 8 Mar 2015 22:01:13 +0000 (18:01 -0400)]

4 years ago(no commit message)
chris [Sun, 8 Mar 2015 21:30:51 +0000 (17:30 -0400)]

4 years ago(no commit message)
chris [Sun, 8 Mar 2015 19:00:55 +0000 (15:00 -0400)]

4 years ago(no commit message)
chris [Sun, 8 Mar 2015 18:37:59 +0000 (14:37 -0400)]

4 years agoedits
Chris [Sun, 8 Mar 2015 18:32:55 +0000 (14:32 -0400)]
edits

4 years agoedits
Chris [Sun, 8 Mar 2015 18:08:26 +0000 (14:08 -0400)]
edits

4 years agoeval order CL
Chris [Sun, 8 Mar 2015 18:04:33 +0000 (14:04 -0400)]
eval order CL

4 years agosimplify Haskell
jim [Sun, 8 Mar 2015 03:49:46 +0000 (22:49 -0500)]
simplify Haskell

4 years agoadd comments about Haskell
jim [Sun, 8 Mar 2015 03:45:53 +0000 (22:45 -0500)]
add comments about Haskell

4 years agotweak explanation
jim [Sun, 8 Mar 2015 03:05:04 +0000 (22:05 -0500)]
tweak explanation

4 years agoadd more about numbers
jim [Sun, 8 Mar 2015 02:47:32 +0000 (21:47 -0500)]
add more about numbers

4 years agocreate page
jim [Sun, 8 Mar 2015 02:29:55 +0000 (21:29 -0500)]
create page

4 years agorenumber yet again, please stick
jim [Sun, 8 Mar 2015 02:12:24 +0000 (21:12 -0500)]
renumber yet again, please stick

4 years agorenumber hint again
jim [Sun, 8 Mar 2015 02:11:48 +0000 (21:11 -0500)]
renumber hint again

4 years agorenumber hint
jim [Sun, 8 Mar 2015 02:11:31 +0000 (21:11 -0500)]
renumber hint

4 years agocancel the System F lists -> OCaml
jim [Sun, 8 Mar 2015 02:10:18 +0000 (21:10 -0500)]
cancel the System F lists -> OCaml

4 years agofix markup
jim [Thu, 5 Mar 2015 17:49:15 +0000 (12:49 -0500)]
fix markup

4 years agoreword problem
jim [Wed, 4 Mar 2015 23:23:21 +0000 (18:23 -0500)]
reword problem

4 years agoadd hint for tree enumeration
jim [Wed, 4 Mar 2015 19:44:51 +0000 (14:44 -0500)]
add hint for tree enumeration

4 years agocreate page
jim [Wed, 4 Mar 2015 19:43:27 +0000 (14:43 -0500)]
create page

4 years agoboldface brief intro and promote
jim [Wed, 4 Mar 2015 18:33:09 +0000 (13:33 -0500)]
boldface brief intro and promote

4 years agoboldface two intro docs, reorganize
jim [Wed, 4 Mar 2015 18:31:51 +0000 (13:31 -0500)]
boldface two intro docs, reorganize

4 years agopost King readings
jim [Tue, 3 Mar 2015 16:43:55 +0000 (11:43 -0500)]
post King readings

4 years agotypo
jim [Tue, 3 Mar 2015 16:39:56 +0000 (11:39 -0500)]
typo

4 years agopost King readings, reorganize
jim [Tue, 3 Mar 2015 16:38:57 +0000 (11:38 -0500)]
post King readings, reorganize

4 years agoadd King readings
Jim [Tue, 3 Mar 2015 16:31:58 +0000 (11:31 -0500)]
add King readings

4 years agotypo
jim [Tue, 3 Mar 2015 14:58:03 +0000 (09:58 -0500)]
typo

4 years agopost readings
jim [Tue, 3 Mar 2015 14:55:52 +0000 (09:55 -0500)]
post readings

4 years agopost readings
jim [Tue, 3 Mar 2015 14:50:32 +0000 (09:50 -0500)]
post readings

4 years agoadd readings
Jim [Tue, 3 Mar 2015 14:38:38 +0000 (09:38 -0500)]
add readings

4 years agorelease existing versions
jim [Mon, 2 Mar 2015 16:41:05 +0000 (11:41 -0500)]
release existing versions

4 years agorelease existing versions, I'm taking too long
jim [Mon, 2 Mar 2015 16:38:02 +0000 (11:38 -0500)]
release existing versions, I'm taking too long

4 years agorename topics/_week5_simply_typed_lambda.mdwn to topics/week5_simply_typed.mdwn
jim [Mon, 2 Mar 2015 16:35:08 +0000 (11:35 -0500)]
rename topics/_week5_simply_typed_lambda.mdwn to topics/week5_simply_typed.mdwn

4 years agorename topics/_week5_system_F.mdwn to topics/week5_system_F.mdwn
jim [Mon, 2 Mar 2015 16:34:37 +0000 (11:34 -0500)]
rename topics/_week5_system_F.mdwn to topics/week5_system_F.mdwn

4 years ago(no commit message)
chris [Sun, 1 Mar 2015 23:23:59 +0000 (18:23 -0500)]

4 years agomerge working
Chris [Sun, 1 Mar 2015 23:21:50 +0000 (18:21 -0500)]
merge working

4 years agoadjusted talk about *and*
Chris [Sun, 1 Mar 2015 23:21:04 +0000 (18:21 -0500)]
adjusted talk about *and*

4 years agoposted link to homework
jim [Sun, 1 Mar 2015 23:16:15 +0000 (18:16 -0500)]
posted link to homework

4 years agoassignment5 live
Chris [Sun, 1 Mar 2015 22:55:46 +0000 (17:55 -0500)]
assignment5 live

4 years agoposted stubs
jim [Sun, 1 Mar 2015 21:59:12 +0000 (16:59 -0500)]
posted stubs

4 years agotweak types for list encoding
jim [Sun, 1 Mar 2015 21:54:02 +0000 (16:54 -0500)]
tweak types for list encoding

4 years agomore precise Pierce link
jim [Sun, 1 Mar 2015 21:43:31 +0000 (16:43 -0500)]
more precise Pierce link

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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