lambda.git
4 years agoMore explicitness
jim [Sun, 22 Mar 2015 15:24:06 +0000 (11:24 -0400)]
More explicitness

4 years agoreorganize
jim [Sun, 22 Mar 2015 15:21:54 +0000 (11:21 -0400)]
reorganize

4 years agoformatting
jim [Sun, 22 Mar 2015 15:18:58 +0000 (11:18 -0400)]
formatting

4 years agoMerge branch 'working'
Jim [Sun, 22 Mar 2015 15:09:04 +0000 (11:09 -0400)]
Merge branch 'working'

* working:
  change env implementations to assoc list

4 years agochange env implementations to assoc list
Jim [Sun, 22 Mar 2015 15:08:59 +0000 (11:08 -0400)]
change env implementations to assoc list

4 years ago(no commit message)
jim [Sun, 22 Mar 2015 14:26:55 +0000 (10:26 -0400)]

4 years agoremoved
jim [Sun, 22 Mar 2015 14:26:09 +0000 (10:26 -0400)]
removed

4 years agotweaks
jim [Sun, 22 Mar 2015 14:25:42 +0000 (10:25 -0400)]
tweaks

4 years agoadd addl reading section
jim [Sun, 22 Mar 2015 14:10:51 +0000 (10:10 -0400)]
add addl reading section

4 years agomore refinements
jim [Sun, 22 Mar 2015 13:30:44 +0000 (09:30 -0400)]
more refinements

4 years agosome refinements
jim [Sun, 22 Mar 2015 12:54:25 +0000 (08:54 -0400)]
some refinements

4 years agosome refinements
jim [Sun, 22 Mar 2015 12:44:03 +0000 (08:44 -0400)]
some refinements

4 years agoadd monads_in_general for scratch
Jim [Sun, 22 Mar 2015 12:25:55 +0000 (08:25 -0400)]
add monads_in_general for scratch

4 years agoadd comments to untyped_evals again
Jim [Sun, 22 Mar 2015 12:14:02 +0000 (08:14 -0400)]
add comments to untyped_evals again

4 years agoMerge branch 'working'
Jim [Sun, 22 Mar 2015 12:10:08 +0000 (08:10 -0400)]
Merge branch 'working'

* working:
  add comments to untyped_evals

4 years agoadd comments to untyped_evals
Jim [Sun, 22 Mar 2015 12:09:43 +0000 (08:09 -0400)]
add comments to untyped_evals

4 years agotweaks
jim [Sat, 21 Mar 2015 23:28:02 +0000 (19:28 -0400)]
tweaks

4 years agoremoved
jim [Sat, 21 Mar 2015 19:30:10 +0000 (15:30 -0400)]
removed

4 years agopost week4 answers
jim [Sat, 21 Mar 2015 19:19:00 +0000 (15:19 -0400)]
post week4 answers

4 years agopost week4 answers
jim [Sat, 21 Mar 2015 19:18:16 +0000 (15:18 -0400)]
post week4 answers

4 years agofinish
jim [Sat, 21 Mar 2015 19:17:02 +0000 (15:17 -0400)]
finish

4 years agoadd set_equal?
jim [Sat, 21 Mar 2015 17:18:13 +0000 (13:18 -0400)]
add set_equal?

4 years agomost answers done
jim [Sat, 21 Mar 2015 17:02:38 +0000 (13:02 -0400)]
most answers done

4 years agoremoved
jim [Sat, 21 Mar 2015 16:07:26 +0000 (12:07 -0400)]
removed

4 years agocreate page
jim [Sat, 21 Mar 2015 16:05:00 +0000 (12:05 -0400)]
create page

4 years agoremove Safe division
jim [Sat, 21 Mar 2015 16:03:47 +0000 (12:03 -0400)]
remove Safe division

4 years agowarning about mu, some tweaks
jim [Sat, 21 Mar 2015 16:03:21 +0000 (12:03 -0400)]
warning about mu, some tweaks

4 years agofix type of sysf_iszero, add sysf_pred
jim [Sat, 21 Mar 2015 15:53:26 +0000 (11:53 -0400)]
fix type of sysf_iszero, add sysf_pred

4 years agoremove "posted late" notice
jim [Sat, 21 Mar 2015 15:11:57 +0000 (11:11 -0400)]
remove "posted late" notice

4 years agoremove/update some "coming soon" notices
jim [Sat, 21 Mar 2015 15:11:05 +0000 (11:11 -0400)]
remove/update some "coming soon" notices

4 years agoremove "coming soon" notices
jim [Sat, 21 Mar 2015 15:09:02 +0000 (11:09 -0400)]
remove "coming soon" notices

4 years agolink to week 5 answers
jim [Sat, 21 Mar 2015 15:06:16 +0000 (11:06 -0400)]
link to week 5 answers

4 years agolink to week 5 answers
jim [Sat, 21 Mar 2015 15:05:21 +0000 (11:05 -0400)]
link to week 5 answers

4 years agoExplain why blackhole and blackhole () can have the same type
jim [Sat, 21 Mar 2015 14:45:35 +0000 (10:45 -0400)]
Explain why blackhole and blackhole () can have the same type

4 years agoexpand about eval order
jim [Sat, 21 Mar 2015 14:37:20 +0000 (10:37 -0400)]
expand about eval order

4 years agofix explanation of rejected types
jim [Sat, 21 Mar 2015 14:35:41 +0000 (10:35 -0400)]
fix explanation of rejected types

4 years agoreplace deleted line
jim [Sat, 21 Mar 2015 14:08:22 +0000 (10:08 -0400)]
replace deleted line

4 years agoreplace deleted line
jim [Sat, 21 Mar 2015 14:07:48 +0000 (10:07 -0400)]
replace deleted line

4 years agotweak
jim [Sat, 21 Mar 2015 14:01:12 +0000 (10:01 -0400)]
tweak

4 years agofix System F booleans
jim [Sat, 21 Mar 2015 14:00:10 +0000 (10:00 -0400)]
fix System F booleans

4 years agospelling
jim [Sat, 21 Mar 2015 13:30:32 +0000 (09:30 -0400)]
spelling

4 years agomarkup
jim [Sat, 21 Mar 2015 13:26:29 +0000 (09:26 -0400)]
markup

4 years agotweak
jim [Sat, 21 Mar 2015 12:58:36 +0000 (08:58 -0400)]
tweak

4 years agoadd some more
jim [Sat, 21 Mar 2015 12:56:50 +0000 (08:56 -0400)]
add some more

4 years agoadd some stuff
jim [Sat, 21 Mar 2015 08:48:34 +0000 (04:48 -0400)]
add some stuff

4 years agomore answers
jim [Sat, 21 Mar 2015 08:32:22 +0000 (04:32 -0400)]
more answers

4 years agoadd some more
jim [Sat, 21 Mar 2015 07:49:42 +0000 (03:49 -0400)]
add some more

4 years agoadd some answers
jim [Sat, 21 Mar 2015 07:33:52 +0000 (03:33 -0400)]
add some answers

4 years agoadd hints
jim [Sat, 21 Mar 2015 01:02:53 +0000 (21:02 -0400)]
add hints

4 years agocreate page
jim [Sat, 21 Mar 2015 01:01:09 +0000 (21:01 -0400)]
create page

4 years agocreate page
jim [Sat, 21 Mar 2015 01:00:16 +0000 (21:00 -0400)]
create page

4 years agowhoops
Jim [Fri, 20 Mar 2015 23:41:25 +0000 (19:41 -0400)]
whoops

4 years agoupdate homework
Jim [Fri, 20 Mar 2015 23:36:51 +0000 (19:36 -0400)]
update homework

4 years agoprovide gappy untyped_evaluator.ml
Jim [Fri, 20 Mar 2015 23:32:22 +0000 (19:32 -0400)]
provide gappy untyped_evaluator.ml

4 years agorefine untyped_evaluator
Jim [Fri, 20 Mar 2015 23:27:57 +0000 (19:27 -0400)]
refine untyped_evaluator

4 years agoMerge branch 'working'
Jim [Fri, 20 Mar 2015 22:46:27 +0000 (18:46 -0400)]
Merge branch 'working'

* working:
  provide simplified untyped_evaluator (complete version)

4 years agoprovide simplified untyped_evaluator (complete version)
Jim [Fri, 20 Mar 2015 22:45:27 +0000 (18:45 -0400)]
provide simplified untyped_evaluator (complete version)

4 years agospoke too soon, added examples of failures
jim [Fri, 20 Mar 2015 19:42:22 +0000 (15:42 -0400)]
spoke too soon, added examples of failures

4 years agomark that Monad page is updated
jim [Fri, 20 Mar 2015 18:34:03 +0000 (14:34 -0400)]
mark that Monad page is updated

4 years agomark that Monad page is updated
jim [Fri, 20 Mar 2015 18:33:16 +0000 (14:33 -0400)]
mark that Monad page is updated

4 years agotweaks
jim [Fri, 20 Mar 2015 18:32:19 +0000 (14:32 -0400)]
tweaks

4 years agolast tweaks to monad page for now
jim [Fri, 20 Mar 2015 18:29:14 +0000 (14:29 -0400)]
last tweaks to monad page for now

4 years agorestore Chris's double boxes
jim [Fri, 20 Mar 2015 17:34:11 +0000 (13:34 -0400)]
restore Chris's double boxes

4 years agorefinements
jim [Fri, 20 Mar 2015 16:59:49 +0000 (12:59 -0400)]
refinements

4 years ago(no commit message)
chris [Fri, 20 Mar 2015 15:54:09 +0000 (11:54 -0400)]

4 years agoedits
Chris [Fri, 20 Mar 2015 15:53:20 +0000 (11:53 -0400)]
edits

4 years agodouble box
Chris [Fri, 20 Mar 2015 15:52:11 +0000 (11:52 -0400)]
double box

4 years agorefine
jim [Fri, 20 Mar 2015 15:22:39 +0000 (11:22 -0400)]
refine

4 years agoexpanding
jim [Fri, 20 Mar 2015 14:36:05 +0000 (10:36 -0400)]
expanding

4 years ago= to ==
jim [Fri, 20 Mar 2015 13:14:34 +0000 (09:14 -0400)]
= to ==

4 years agorefine Cat Theory notes
jim [Fri, 20 Mar 2015 13:13:36 +0000 (09:13 -0400)]
refine Cat Theory notes

4 years agovarious edits, including Cat Theory
jim [Fri, 20 Mar 2015 13:06:28 +0000 (09:06 -0400)]
various edits, including Cat Theory

4 years agomarkup
jim [Fri, 20 Mar 2015 12:44:03 +0000 (08:44 -0400)]
markup

4 years agoexpand Mappable Laws
jim [Fri, 20 Mar 2015 12:42:29 +0000 (08:42 -0400)]
expand Mappable Laws

4 years agoambiguous "identify"
jim [Thu, 19 Mar 2015 23:03:28 +0000 (19:03 -0400)]
ambiguous "identify"

4 years agoClean up examples, stick more consistently to typing conventions
jim [Thu, 19 Mar 2015 23:01:25 +0000 (19:01 -0400)]
Clean up examples, stick more consistently to typing conventions

4 years agoargh... Haskell vs OCaml
jim [Thu, 19 Mar 2015 22:52:55 +0000 (18:52 -0400)]
argh... Haskell vs OCaml

4 years agofix formatting of `1`
jim [Thu, 19 Mar 2015 22:51:48 +0000 (18:51 -0400)]
fix formatting of `1`

4 years agoexplain mappable laws better
jim [Thu, 19 Mar 2015 22:47:08 +0000 (18:47 -0400)]
explain mappable laws better

4 years agoMerge branch 'master' of main.jimpryor.net:/srv/lambda/lambda
Chris [Thu, 19 Mar 2015 22:44:30 +0000 (18:44 -0400)]
Merge branch 'master' of main.jimpryor.net:/srv/lambda/lambda

4 years agoadded intensionality and binding
Chris [Thu, 19 Mar 2015 22:43:59 +0000 (18:43 -0400)]
added intensionality and binding

4 years agoadd mappable laws
jim [Thu, 19 Mar 2015 22:43:03 +0000 (18:43 -0400)]
add mappable laws

4 years agofix type
jim [Thu, 19 Mar 2015 22:37:57 +0000 (18:37 -0400)]
fix type

4 years agoexpress hesitation about flipped names
jim [Thu, 19 Mar 2015 22:37:01 +0000 (18:37 -0400)]
express hesitation about flipped names

4 years agofix "arrow"
jim [Thu, 19 Mar 2015 22:35:17 +0000 (18:35 -0400)]
fix "arrow"

4 years agocorrection
jim [Thu, 19 Mar 2015 22:34:45 +0000 (18:34 -0400)]
correction

4 years agotweak category theory blurb
jim [Thu, 19 Mar 2015 22:32:47 +0000 (18:32 -0400)]
tweak category theory blurb

4 years agotweak
jim [Thu, 19 Mar 2015 18:26:29 +0000 (14:26 -0400)]
tweak

4 years agoformatting
jim [Thu, 19 Mar 2015 18:22:20 +0000 (14:22 -0400)]
formatting

4 years agoadd links to category theory
jim [Thu, 19 Mar 2015 18:21:02 +0000 (14:21 -0400)]
add links to category theory

4 years agotry3
Chris [Thu, 19 Mar 2015 18:13:03 +0000 (14:13 -0400)]
try3

4 years agopost homework7, with promises
jim [Thu, 19 Mar 2015 17:06:01 +0000 (13:06 -0400)]
post homework7, with promises

4 years agopost homework7, with promises
jim [Thu, 19 Mar 2015 17:04:16 +0000 (13:04 -0400)]
post homework7, with promises

4 years agolowercase monad
jim [Thu, 19 Mar 2015 17:03:25 +0000 (13:03 -0400)]
lowercase monad

4 years agoupdates, ready to post with promises
jim [Thu, 19 Mar 2015 17:02:36 +0000 (13:02 -0400)]
updates, ready to post with promises

4 years agoMerge branch 'working'
Jim [Thu, 19 Mar 2015 16:33:23 +0000 (12:33 -0400)]
Merge branch 'working'

* working:
  update code

4 years agoupdate code
Jim [Thu, 19 Mar 2015 16:33:22 +0000 (12:33 -0400)]
update code

4 years agorename exercises/_assignment6.mdwn to exercises/assignment7.mdwn
jim [Thu, 19 Mar 2015 16:31:02 +0000 (12:31 -0400)]
rename exercises/_assignment6.mdwn to exercises/assignment7.mdwn

4 years agotweak
jim [Thu, 19 Mar 2015 16:11:12 +0000 (12:11 -0400)]
tweak

4 years agotweak
jim [Thu, 19 Mar 2015 16:10:51 +0000 (12:10 -0400)]
tweak