lambda.git
4 years agoadd link to continuation operators
jim [Thu, 30 Apr 2015 15:28:13 +0000 (11:28 -0400)]
add link to continuation operators

4 years agoupdate for rename of topics/week13_control_operators.mdwn to topics/week13_native_con...
jim [Thu, 30 Apr 2015 15:27:18 +0000 (11:27 -0400)]
update for rename of topics/week13_control_operators.mdwn to topics/week13_native_continuation_operators.mdwn

4 years agorename topics/week13_control_operators.mdwn to topics/week13_native_continuation_oper...
jim [Thu, 30 Apr 2015 15:27:18 +0000 (11:27 -0400)]
rename topics/week13_control_operators.mdwn to topics/week13_native_continuation_operators.mdwn

4 years agorevisions
jim [Thu, 30 Apr 2015 15:27:00 +0000 (11:27 -0400)]
revisions

4 years agoupdated
jim [Thu, 30 Apr 2015 14:28:00 +0000 (10:28 -0400)]
updated

4 years agoformatting
jim [Thu, 30 Apr 2015 13:19:10 +0000 (09:19 -0400)]
formatting

4 years agoadd anchor
jim [Thu, 30 Apr 2015 13:17:06 +0000 (09:17 -0400)]
add anchor

4 years agoMerge branch 'working'
Jim [Thu, 30 Apr 2015 12:20:42 +0000 (08:20 -0400)]
Merge branch 'working'

* working:
  add vr game images

4 years agoadd vr game images
Jim [Thu, 30 Apr 2015 12:20:37 +0000 (08:20 -0400)]
add vr game images

4 years ago1->1000
jim [Thu, 30 Apr 2015 10:42:04 +0000 (06:42 -0400)]
1->1000

4 years agore-conceal OCaml
jim [Thu, 30 Apr 2015 10:38:40 +0000 (06:38 -0400)]
re-conceal OCaml

This reverts commit e36eaae1de25d2ba2b42afe2f77f51f6a2470a7b

4 years agotemporarily show OCaml
jim [Thu, 30 Apr 2015 10:38:01 +0000 (06:38 -0400)]
temporarily show OCaml

4 years agoupdate
jim [Thu, 30 Apr 2015 10:36:56 +0000 (06:36 -0400)]
update

4 years agoMerge branch 'working'
Jim [Wed, 29 Apr 2015 22:46:33 +0000 (18:46 -0400)]
Merge branch 'working'

* working:
  update refunct zippers code

4 years agoupdate refunct zippers code
Jim [Wed, 29 Apr 2015 22:46:28 +0000 (18:46 -0400)]
update refunct zippers code

4 years agopost two images
jim [Wed, 29 Apr 2015 20:47:44 +0000 (16:47 -0400)]
post two images

4 years agotweak glyphs
jim [Wed, 29 Apr 2015 19:55:19 +0000 (15:55 -0400)]
tweak glyphs

4 years agowip
jim [Wed, 29 Apr 2015 15:37:59 +0000 (11:37 -0400)]
wip

4 years agocomment out link
jim [Wed, 29 Apr 2015 15:37:46 +0000 (11:37 -0400)]
comment out link

4 years agoadd note
jim [Wed, 29 Apr 2015 15:35:14 +0000 (11:35 -0400)]
add note

4 years agomarked where I cut
jim [Wed, 29 Apr 2015 15:33:43 +0000 (11:33 -0400)]
marked where I cut

4 years agoadd link
jim [Wed, 29 Apr 2015 15:28:46 +0000 (11:28 -0400)]
add link

4 years agolink to coroutines
jim [Wed, 29 Apr 2015 15:25:42 +0000 (11:25 -0400)]
link to coroutines

4 years agorename topics/_coroutines_and_aborts.mdwn to topics/week13_coroutines_exceptions_and_...
jim [Wed, 29 Apr 2015 15:25:00 +0000 (11:25 -0400)]
rename topics/_coroutines_and_aborts.mdwn to topics/week13_coroutines_exceptions_and_aborts.mdwn

4 years agoadd header
jim [Wed, 29 Apr 2015 15:24:37 +0000 (11:24 -0400)]
add header

4 years agoupdates
jim [Wed, 29 Apr 2015 15:23:58 +0000 (11:23 -0400)]
updates

4 years agoadd more anchors
jim [Wed, 29 Apr 2015 15:07:25 +0000 (11:07 -0400)]
add more anchors

4 years agoformatting
jim [Wed, 29 Apr 2015 15:04:51 +0000 (11:04 -0400)]
formatting

4 years agoadd anchors
jim [Wed, 29 Apr 2015 15:04:32 +0000 (11:04 -0400)]
add anchors

4 years agolink to code
jim [Wed, 29 Apr 2015 15:02:48 +0000 (11:02 -0400)]
link to code

4 years agotweak topics
jim [Wed, 29 Apr 2015 14:59:25 +0000 (10:59 -0400)]
tweak topics

4 years agopost topics
jim [Wed, 29 Apr 2015 14:56:15 +0000 (10:56 -0400)]
post topics

4 years agoMerge branch 'working'
Jim [Wed, 29 Apr 2015 14:51:17 +0000 (10:51 -0400)]
Merge branch 'working'

* working:
  refunct zippers code

4 years agorefunct zippers code
Jim [Wed, 29 Apr 2015 14:51:13 +0000 (10:51 -0400)]
refunct zippers code

4 years agoedits
Chris [Mon, 27 Apr 2015 00:10:09 +0000 (20:10 -0400)]
edits

4 years agoedits
Chris [Sun, 26 Apr 2015 22:31:03 +0000 (18:31 -0400)]
edits

4 years agoedits
Chris [Sun, 26 Apr 2015 22:28:25 +0000 (18:28 -0400)]
edits

4 years agochanges
Chris [Sun, 26 Apr 2015 21:13:52 +0000 (17:13 -0400)]
changes

4 years agomoved notes
Chris [Sun, 26 Apr 2015 21:12:52 +0000 (17:12 -0400)]
moved notes

4 years agomove "count from 0", thanks Kyle
jim [Sun, 26 Apr 2015 10:53:43 +0000 (06:53 -0400)]
move "count from 0", thanks Kyle

4 years agorename exercises/_assignment12.mdwn to exercises/assignment12.mdwn
jim [Sat, 25 Apr 2015 09:56:49 +0000 (05:56 -0400)]
rename exercises/_assignment12.mdwn to exercises/assignment12.mdwn

4 years agoadd week 12 stuff
jim [Sat, 25 Apr 2015 09:56:20 +0000 (05:56 -0400)]
add week 12 stuff

4 years agopost homework
jim [Sat, 25 Apr 2015 09:52:49 +0000 (05:52 -0400)]
post homework

4 years agooverhaul
jim [Sat, 25 Apr 2015 09:51:44 +0000 (05:51 -0400)]
overhaul

4 years agotweaks
jim [Sat, 25 Apr 2015 08:42:38 +0000 (04:42 -0400)]
tweaks

4 years agosome refactoring, including exposition
jim [Sat, 25 Apr 2015 03:21:08 +0000 (23:21 -0400)]
some refactoring, including exposition

4 years agoadd #fringe
jim [Sat, 25 Apr 2015 02:57:38 +0000 (22:57 -0400)]
add #fringe

4 years agocut content
jim [Sat, 25 Apr 2015 02:29:01 +0000 (22:29 -0400)]
cut content

4 years agotweaks
jim [Sat, 25 Apr 2015 02:28:28 +0000 (22:28 -0400)]
tweaks

4 years agotypo
jim [Sat, 25 Apr 2015 00:31:15 +0000 (20:31 -0400)]
typo

4 years agopost week 12 stuff
jim [Sat, 25 Apr 2015 00:30:22 +0000 (20:30 -0400)]
post week 12 stuff

4 years agoedits to conform to new zipper format
jim [Sat, 25 Apr 2015 00:29:41 +0000 (20:29 -0400)]
edits to conform to new zipper format

4 years agoshould be more-or-less ready
jim [Thu, 23 Apr 2015 15:29:48 +0000 (11:29 -0400)]
should be more-or-less ready

4 years agoremove header
jim [Thu, 23 Apr 2015 13:23:21 +0000 (09:23 -0400)]
remove header

4 years agowrap-up
jim [Thu, 23 Apr 2015 13:23:04 +0000 (09:23 -0400)]
wrap-up

4 years agosome rewrites, not finished
jim [Thu, 23 Apr 2015 11:38:03 +0000 (07:38 -0400)]
some rewrites, not finished

4 years agorename
Jim [Thu, 23 Apr 2015 08:58:42 +0000 (04:58 -0400)]
rename

4 years agoadd some old files
Jim [Thu, 23 Apr 2015 08:57:10 +0000 (04:57 -0400)]
add some old files

4 years agoMerge branch 'master' of main.jimpryor.net:/srv/lambda/lambda
Chris [Thu, 23 Apr 2015 00:29:29 +0000 (20:29 -0400)]
Merge branch 'master' of main.jimpryor.net:/srv/lambda/lambda

4 years agoedits
Chris [Thu, 23 Apr 2015 00:28:55 +0000 (20:28 -0400)]
edits

4 years agoadd stubs for week 12
jim [Thu, 23 Apr 2015 00:28:31 +0000 (20:28 -0400)]
add stubs for week 12

4 years agoThanks Kyle
jim [Thu, 16 Apr 2015 03:09:46 +0000 (23:09 -0400)]
Thanks Kyle

4 years agotypo in gsv2.ml
Jim [Wed, 15 Apr 2015 19:42:05 +0000 (15:42 -0400)]
typo in gsv2.ml

4 years agotypo in gsv2.ml
Jim [Wed, 15 Apr 2015 15:47:10 +0000 (11:47 -0400)]
typo in gsv2.ml

4 years agoupdate gsv2.ml
Jim [Wed, 15 Apr 2015 15:19:13 +0000 (11:19 -0400)]
update gsv2.ml

4 years agoMerge branch 'working'
Jim [Wed, 15 Apr 2015 15:15:06 +0000 (11:15 -0400)]
Merge branch 'working'

* working:
  update gsv2.ml

4 years agoupdate gsv2.ml
Jim [Wed, 15 Apr 2015 15:15:02 +0000 (11:15 -0400)]
update gsv2.ml

4 years agoMonad Transformers step by step
jim [Wed, 15 Apr 2015 03:28:41 +0000 (23:28 -0400)]
Monad Transformers step by step

4 years agoMerge branch 'working'
Jim [Tue, 14 Apr 2015 14:11:39 +0000 (10:11 -0400)]
Merge branch 'working'

* working:
  update gsv2.ml

4 years agoupdate gsv2.ml
Jim [Tue, 14 Apr 2015 14:11:35 +0000 (10:11 -0400)]
update gsv2.ml

4 years agoadd links to GSV
jim [Tue, 14 Apr 2015 01:06:32 +0000 (21:06 -0400)]
add links to GSV

4 years agofix note about gsv2.ml code
jim [Tue, 14 Apr 2015 01:04:53 +0000 (21:04 -0400)]
fix note about gsv2.ml code

4 years agopost link to notes
jim [Tue, 14 Apr 2015 01:03:49 +0000 (21:03 -0400)]
post link to notes

4 years agofixed move gsv-jim.ml to gsv2.ml
Jim [Tue, 14 Apr 2015 01:02:27 +0000 (21:02 -0400)]
fixed move gsv-jim.ml to gsv2.ml

4 years agoMerge branch 'working'
Jim [Tue, 14 Apr 2015 01:01:13 +0000 (21:01 -0400)]
Merge branch 'working'

* working:
  move gsv-jim.ml to gsv2.ml

4 years agomove gsv-jim.ml to gsv2.ml
Jim [Tue, 14 Apr 2015 01:01:06 +0000 (21:01 -0400)]
move gsv-jim.ml to gsv2.ml

4 years agoadd note about gsv2.ml
jim [Tue, 14 Apr 2015 01:00:06 +0000 (21:00 -0400)]
add note about gsv2.ml

4 years agoMerge branch 'working'
Jim [Tue, 14 Apr 2015 00:50:34 +0000 (20:50 -0400)]
Merge branch 'working'

* working:
  move gsv.ml to gsv-jim.ml
  update Juli8 to v1.6 and post gsv.ml

4 years agomove gsv.ml to gsv-jim.ml
Jim [Tue, 14 Apr 2015 00:50:26 +0000 (20:50 -0400)]
move gsv.ml to gsv-jim.ml

4 years agoupdate Juli8 to v1.6 and post gsv.ml
Jim [Tue, 14 Apr 2015 00:48:39 +0000 (20:48 -0400)]
update Juli8 to v1.6 and post gsv.ml

4 years agorelease gsv discussion
Chris [Sun, 12 Apr 2015 02:02:13 +0000 (22:02 -0400)]
release gsv discussion

4 years agoedits
Chris [Sun, 12 Apr 2015 02:01:23 +0000 (22:01 -0400)]
edits

4 years agoedits
Chris [Sun, 12 Apr 2015 01:34:41 +0000 (21:34 -0400)]
edits

4 years agoedits
Chris [Sun, 12 Apr 2015 01:22:45 +0000 (21:22 -0400)]
edits

4 years ago(no commit message)
chris [Sat, 11 Apr 2015 19:44:04 +0000 (15:44 -0400)]

4 years ago(no commit message)
chris [Sat, 11 Apr 2015 19:40:40 +0000 (15:40 -0400)]

4 years ago(no commit message)
chris [Sat, 11 Apr 2015 19:38:40 +0000 (15:38 -0400)]

4 years agoedits
Chris [Sat, 11 Apr 2015 19:36:08 +0000 (15:36 -0400)]
edits

4 years ago(no commit message)
chris [Thu, 9 Apr 2015 19:33:44 +0000 (15:33 -0400)]

4 years agoedits
Chris [Thu, 9 Apr 2015 19:18:06 +0000 (15:18 -0400)]
edits

4 years agoedits
Chris [Thu, 9 Apr 2015 19:16:12 +0000 (15:16 -0400)]
edits

4 years agoedits
Chris [Thu, 9 Apr 2015 19:15:44 +0000 (15:15 -0400)]
edits

4 years agoMerge branch 'master' of main.jimpryor.net:/srv/lambda/lambda
Chris [Wed, 8 Apr 2015 20:48:35 +0000 (16:48 -0400)]
Merge branch 'master' of main.jimpryor.net:/srv/lambda/lambda

4 years agounstable state of gsv discussion
Chris [Wed, 8 Apr 2015 20:48:09 +0000 (16:48 -0400)]
unstable state of gsv discussion

4 years ago(no commit message)
chris [Wed, 8 Apr 2015 16:57:14 +0000 (12:57 -0400)]

4 years agoedits
Chris [Wed, 8 Apr 2015 16:55:43 +0000 (12:55 -0400)]
edits

4 years agoedits
Chris [Wed, 8 Apr 2015 16:50:27 +0000 (12:50 -0400)]
edits

4 years agoedits
Chris [Wed, 8 Apr 2015 16:49:53 +0000 (12:49 -0400)]
edits

4 years agoMerge branch 'working'
Jim [Wed, 8 Apr 2015 06:05:57 +0000 (02:05 -0400)]
Merge branch 'working'

* working:
  Ref.getref,putref

4 years agoRef.getref,putref
Jim [Wed, 8 Apr 2015 06:05:50 +0000 (02:05 -0400)]
Ref.getref,putref