Chris [Thu, 5 Feb 2015 19:05:55 +0000 (14:05 -0500)]
notes on lambda calculus
Jim [Thu, 5 Feb 2015 18:59:11 +0000 (13:59 -0500)]
try adding lambda evaluator
Jim [Thu, 5 Feb 2015 18:09:31 +0000 (13:09 -0500)]
Merge branch 'master' into working
* master:
next chunk of content
add #funct-declarations
starting lambda calculus intro
remove notes on git
add #guards and #as-patterns anchors
add #sections anchor
add toc
add anchor for #variables
Notes for understanding git
jim [Thu, 5 Feb 2015 17:54:17 +0000 (12:54 -0500)]
next chunk of content
jim [Thu, 5 Feb 2015 17:33:29 +0000 (12:33 -0500)]
add #funct-declarations
Chris [Thu, 5 Feb 2015 16:04:55 +0000 (11:04 -0500)]
starting lambda calculus intro
Chris [Thu, 5 Feb 2015 15:45:57 +0000 (10:45 -0500)]
Merge branch 'master' of main.jimpryor.net:/srv/lambda/lambda into working
Chris [Thu, 5 Feb 2015 15:45:27 +0000 (10:45 -0500)]
remove notes on git
jim [Thu, 5 Feb 2015 15:07:19 +0000 (10:07 -0500)]
add #guards and #as-patterns anchors
jim [Thu, 5 Feb 2015 14:40:20 +0000 (09:40 -0500)]
add #sections anchor
jim [Thu, 5 Feb 2015 14:39:46 +0000 (09:39 -0500)]
add toc
jim [Thu, 5 Feb 2015 14:20:38 +0000 (09:20 -0500)]
add anchor for #variables
Jim [Wed, 4 Feb 2015 21:17:40 +0000 (16:17 -0500)]
Merge branch 'master' into working
* master: (32 commits)
update for rename of rosetta.mdwn to rosetta1.mdwn
update for rename of rosetta.mdwn to rosetta1.mdwn
update for rename of rosetta.mdwn to rosetta1.mdwn
update for rename of rosetta.mdwn to rosetta1.mdwn
update for rename of rosetta.mdwn to rosetta1.mdwn
rename rosetta.mdwn to rosetta1.mdwn
huh, last edits are not displaying
tweak markup
post latest content
add Prelude
fix typo, thanks Kyle
stronger note
note what's in progress
note what's in progress
add comments, paste content from rosetta2
rename more_rosetta.mdwn to rosetta2.mdwn
cut content
create page
replace content
update for rename of rosetta2.mdwn to rosetta.mdwn
...
Jim [Wed, 4 Feb 2015 21:17:15 +0000 (16:17 -0500)]
rename _rosett
jim [Wed, 4 Feb 2015 21:16:10 +0000 (16:16 -0500)]
update for rename of rosetta.mdwn to rosetta1.mdwn
jim [Wed, 4 Feb 2015 21:16:10 +0000 (16:16 -0500)]
update for rename of rosetta.mdwn to rosetta1.mdwn
jim [Wed, 4 Feb 2015 21:16:10 +0000 (16:16 -0500)]
update for rename of rosetta.mdwn to rosetta1.mdwn
jim [Wed, 4 Feb 2015 21:16:10 +0000 (16:16 -0500)]
update for rename of rosetta.mdwn to rosetta1.mdwn
jim [Wed, 4 Feb 2015 21:16:10 +0000 (16:16 -0500)]
update for rename of rosetta.mdwn to rosetta1.mdwn
jim [Wed, 4 Feb 2015 21:16:10 +0000 (16:16 -0500)]
rename rosetta.mdwn to rosetta1.mdwn
jim [Wed, 4 Feb 2015 21:15:25 +0000 (16:15 -0500)]
huh, last edits are not displaying
jim [Wed, 4 Feb 2015 21:11:57 +0000 (16:11 -0500)]
tweak markup
jim [Wed, 4 Feb 2015 21:11:02 +0000 (16:11 -0500)]
post latest content
jim [Wed, 4 Feb 2015 20:01:42 +0000 (15:01 -0500)]
add Prelude
Chris [Wed, 4 Feb 2015 17:51:49 +0000 (12:51 -0500)]
Notes for understanding git
jim [Wed, 4 Feb 2015 16:15:30 +0000 (11:15 -0500)]
fix typo, thanks Kyle
jim [Wed, 4 Feb 2015 16:14:32 +0000 (11:14 -0500)]
stronger note
jim [Wed, 4 Feb 2015 16:13:24 +0000 (11:13 -0500)]
note what's in progress
jim [Wed, 4 Feb 2015 16:12:16 +0000 (11:12 -0500)]
note what's in progress
jim [Wed, 4 Feb 2015 14:35:31 +0000 (09:35 -0500)]
add comments, paste content from rosetta2
jim [Wed, 4 Feb 2015 14:34:26 +0000 (09:34 -0500)]
rename more_rosetta.mdwn to rosetta2.mdwn
jim [Wed, 4 Feb 2015 14:34:15 +0000 (09:34 -0500)]
cut content
jim [Wed, 4 Feb 2015 13:40:49 +0000 (08:40 -0500)]
create page
jim [Wed, 4 Feb 2015 13:40:09 +0000 (08:40 -0500)]
replace content
jim [Wed, 4 Feb 2015 13:39:47 +0000 (08:39 -0500)]
update for rename of rosetta2.mdwn to rosetta.mdwn
jim [Wed, 4 Feb 2015 13:39:47 +0000 (08:39 -0500)]
update for rename of rosetta2.mdwn to rosetta.mdwn
jim [Wed, 4 Feb 2015 13:39:47 +0000 (08:39 -0500)]
update for rename of rosetta2.mdwn to rosetta.mdwn
jim [Wed, 4 Feb 2015 13:39:47 +0000 (08:39 -0500)]
update for rename of rosetta2.mdwn to rosetta.mdwn
jim [Wed, 4 Feb 2015 13:39:47 +0000 (08:39 -0500)]
update for rename of rosetta2.mdwn to rosetta.mdwn
jim [Wed, 4 Feb 2015 13:39:47 +0000 (08:39 -0500)]
rename rosetta2.mdwn to rosetta.mdwn
jim [Wed, 4 Feb 2015 13:39:21 +0000 (08:39 -0500)]
update for rename of rosetta.mdwn to rosetta2.mdwn
jim [Wed, 4 Feb 2015 13:39:21 +0000 (08:39 -0500)]
update for rename of rosetta.mdwn to rosetta2.mdwn
jim [Wed, 4 Feb 2015 13:39:21 +0000 (08:39 -0500)]
update for rename of rosetta.mdwn to rosetta2.mdwn
jim [Wed, 4 Feb 2015 13:39:21 +0000 (08:39 -0500)]
update for rename of rosetta.mdwn to rosetta2.mdwn
jim [Wed, 4 Feb 2015 13:39:21 +0000 (08:39 -0500)]
update for rename of rosetta.mdwn to rosetta2.mdwn
jim [Wed, 4 Feb 2015 13:39:21 +0000 (08:39 -0500)]
rename rosetta.mdwn to rosetta2.mdwn
jim [Wed, 4 Feb 2015 13:39:11 +0000 (08:39 -0500)]
transition to rosetta2
jim [Wed, 4 Feb 2015 13:18:01 +0000 (08:18 -0500)]
tweak Index link
jim [Wed, 4 Feb 2015 13:16:34 +0000 (08:16 -0500)]
add intermezzo links
jim [Wed, 4 Feb 2015 13:12:09 +0000 (08:12 -0500)]
tweak rosetta link
jim [Wed, 4 Feb 2015 13:11:37 +0000 (08:11 -0500)]
add link to rosetta
jim [Wed, 4 Feb 2015 13:10:18 +0000 (08:10 -0500)]
add link to rosetta
jim [Wed, 4 Feb 2015 13:10:04 +0000 (08:10 -0500)]
add link to rosetta
jim [Wed, 4 Feb 2015 13:09:50 +0000 (08:09 -0500)]
add link to rosetta
jim [Wed, 4 Feb 2015 13:08:28 +0000 (08:08 -0500)]
create page
jim [Wed, 4 Feb 2015 13:05:07 +0000 (08:05 -0500)]
create page
Jim [Wed, 4 Feb 2015 12:28:47 +0000 (07:28 -0500)]
add link to people
Jim [Wed, 4 Feb 2015 12:21:55 +0000 (07:21 -0500)]
import _offsite_readings to readings (hidden)
jim [Wed, 4 Feb 2015 05:40:58 +0000 (00:40 -0500)]
tweak eggs
Jim [Wed, 4 Feb 2015 05:05:22 +0000 (00:05 -0500)]
add link to readings
Jim [Wed, 4 Feb 2015 05:04:32 +0000 (00:04 -0500)]
add readings stub
Jim [Wed, 4 Feb 2015 05:04:20 +0000 (00:04 -0500)]
mv _translating to _rosetta2
Jim [Wed, 4 Feb 2015 04:56:57 +0000 (23:56 -0500)]
cleanup
jim [Wed, 4 Feb 2015 04:50:03 +0000 (23:50 -0500)]
add links to Learning Scheme, OCaml, Haskell
jim [Wed, 4 Feb 2015 04:47:07 +0000 (23:47 -0500)]
rename _learning_haskell.mdwn to learning_haskell.mdwn
jim [Wed, 4 Feb 2015 04:46:58 +0000 (23:46 -0500)]
rename _learning_ocaml.mdwn to learning_ocaml.mdwn
jim [Wed, 4 Feb 2015 04:46:41 +0000 (23:46 -0500)]
rename _learning_scheme.mdwn to learning_scheme.mdwn
jim [Wed, 4 Feb 2015 04:39:57 +0000 (23:39 -0500)]
refine
jim [Wed, 4 Feb 2015 04:20:21 +0000 (23:20 -0500)]
add chicken links, organize
jim [Wed, 4 Feb 2015 03:43:15 +0000 (22:43 -0500)]
refine
jim [Wed, 4 Feb 2015 02:48:28 +0000 (21:48 -0500)]
rename _extending_racket.mdwn to extending_racket.mdwn
jim [Wed, 4 Feb 2015 02:48:16 +0000 (21:48 -0500)]
create page
jim [Wed, 4 Feb 2015 02:45:08 +0000 (21:45 -0500)]
link to Extending Racket
jim [Wed, 4 Feb 2015 02:44:05 +0000 (21:44 -0500)]
refine racket links
jim [Wed, 4 Feb 2015 02:10:50 +0000 (21:10 -0500)]
Announce room for Wednesday session
jim [Wed, 4 Feb 2015 02:06:03 +0000 (21:06 -0500)]
refine and reorg, add racket links
jim [Tue, 3 Feb 2015 23:09:56 +0000 (18:09 -0500)]
tweak hoogle form
jim [Tue, 3 Feb 2015 21:30:56 +0000 (16:30 -0500)]
add too-good Dijkstra quote
jim [Tue, 3 Feb 2015 20:56:06 +0000 (15:56 -0500)]
tweak
jim [Tue, 3 Feb 2015 20:54:40 +0000 (15:54 -0500)]
Haskell/OCaml links
jim [Tue, 3 Feb 2015 20:54:32 +0000 (15:54 -0500)]
Haskell/OCaml links
jim [Tue, 3 Feb 2015 20:32:14 +0000 (15:32 -0500)]
Refine and reorg
jim [Tue, 3 Feb 2015 20:08:14 +0000 (15:08 -0500)]
Refine
jim [Tue, 3 Feb 2015 15:59:25 +0000 (10:59 -0500)]
tweaks
jim [Tue, 3 Feb 2015 15:41:48 +0000 (10:41 -0500)]
tweak
jim [Tue, 3 Feb 2015 15:39:30 +0000 (10:39 -0500)]
tweaks
jim [Tue, 3 Feb 2015 15:35:43 +0000 (10:35 -0500)]
formatting
jim [Tue, 3 Feb 2015 14:54:25 +0000 (09:54 -0500)]
add hidden link re ocaml
jim [Tue, 3 Feb 2015 14:50:10 +0000 (09:50 -0500)]
add hidden link re ocaml
jim [Tue, 3 Feb 2015 14:20:51 +0000 (09:20 -0500)]
delete problems
jim [Tue, 3 Feb 2015 12:45:13 +0000 (07:45 -0500)]
typo
jim [Tue, 3 Feb 2015 12:28:20 +0000 (07:28 -0500)]
suppress Doodle poll
jim [Tue, 3 Feb 2015 12:27:36 +0000 (07:27 -0500)]
post about student session
jim [Tue, 3 Feb 2015 12:16:20 +0000 (07:16 -0500)]
formatting
jim [Tue, 3 Feb 2015 12:15:54 +0000 (07:15 -0500)]
link to browser.mdwn
jim [Tue, 3 Feb 2015 12:15:33 +0000 (07:15 -0500)]
link to browser.mdwn
jim [Tue, 3 Feb 2015 12:14:37 +0000 (07:14 -0500)]
create page
jim [Tue, 3 Feb 2015 12:09:44 +0000 (07:09 -0500)]
demos of languages
jim [Tue, 3 Feb 2015 12:08:59 +0000 (07:08 -0500)]
demos of languages
jim [Tue, 3 Feb 2015 12:05:00 +0000 (07:05 -0500)]
haskell PRIME