lambda.git
9 years agorename _extending_racket.mdwn to extending_racket.mdwn
jim [Wed, 4 Feb 2015 02:48:28 +0000 (21:48 -0500)]
rename _extending_racket.mdwn to extending_racket.mdwn

9 years agocreate page
jim [Wed, 4 Feb 2015 02:48:16 +0000 (21:48 -0500)]
create page

9 years agolink to Extending Racket
jim [Wed, 4 Feb 2015 02:45:08 +0000 (21:45 -0500)]
link to Extending Racket

9 years agorefine racket links
jim [Wed, 4 Feb 2015 02:44:05 +0000 (21:44 -0500)]
refine racket links

9 years agoAnnounce room for Wednesday session
jim [Wed, 4 Feb 2015 02:10:50 +0000 (21:10 -0500)]
Announce room for Wednesday session

9 years agorefine and reorg, add racket links
jim [Wed, 4 Feb 2015 02:06:03 +0000 (21:06 -0500)]
refine and reorg, add racket links

9 years agotweak hoogle form
jim [Tue, 3 Feb 2015 23:09:56 +0000 (18:09 -0500)]
tweak hoogle form

9 years agoadd too-good Dijkstra quote
jim [Tue, 3 Feb 2015 21:30:56 +0000 (16:30 -0500)]
add too-good Dijkstra quote

9 years agotweak
jim [Tue, 3 Feb 2015 20:56:06 +0000 (15:56 -0500)]
tweak

9 years agoHaskell/OCaml links
jim [Tue, 3 Feb 2015 20:54:40 +0000 (15:54 -0500)]
Haskell/OCaml links

9 years agoHaskell/OCaml links
jim [Tue, 3 Feb 2015 20:54:32 +0000 (15:54 -0500)]
Haskell/OCaml links

9 years agoRefine and reorg
jim [Tue, 3 Feb 2015 20:32:14 +0000 (15:32 -0500)]
Refine and reorg

9 years agoRefine
jim [Tue, 3 Feb 2015 20:08:14 +0000 (15:08 -0500)]
Refine

9 years agotweaks
jim [Tue, 3 Feb 2015 15:59:25 +0000 (10:59 -0500)]
tweaks

9 years agotweak
jim [Tue, 3 Feb 2015 15:41:48 +0000 (10:41 -0500)]
tweak

9 years agotweaks
jim [Tue, 3 Feb 2015 15:39:30 +0000 (10:39 -0500)]
tweaks

9 years agoformatting
jim [Tue, 3 Feb 2015 15:35:43 +0000 (10:35 -0500)]
formatting

9 years agoadd hidden link re ocaml
jim [Tue, 3 Feb 2015 14:54:25 +0000 (09:54 -0500)]
add hidden link re ocaml

9 years agoadd hidden link re ocaml
jim [Tue, 3 Feb 2015 14:50:10 +0000 (09:50 -0500)]
add hidden link re ocaml

9 years agodelete problems
jim [Tue, 3 Feb 2015 14:20:51 +0000 (09:20 -0500)]
delete problems

9 years agotypo
jim [Tue, 3 Feb 2015 12:45:13 +0000 (07:45 -0500)]
typo

9 years agosuppress Doodle poll
jim [Tue, 3 Feb 2015 12:28:20 +0000 (07:28 -0500)]
suppress Doodle poll

9 years agopost about student session
jim [Tue, 3 Feb 2015 12:27:36 +0000 (07:27 -0500)]
post about student session

9 years agoformatting
jim [Tue, 3 Feb 2015 12:16:20 +0000 (07:16 -0500)]
formatting

9 years agolink to browser.mdwn
jim [Tue, 3 Feb 2015 12:15:54 +0000 (07:15 -0500)]
link to browser.mdwn

9 years agolink to browser.mdwn
jim [Tue, 3 Feb 2015 12:15:33 +0000 (07:15 -0500)]
link to browser.mdwn

9 years agocreate page
jim [Tue, 3 Feb 2015 12:14:37 +0000 (07:14 -0500)]
create page

9 years agodemos of languages
jim [Tue, 3 Feb 2015 12:09:44 +0000 (07:09 -0500)]
demos of languages

9 years agodemos of languages
jim [Tue, 3 Feb 2015 12:08:59 +0000 (07:08 -0500)]
demos of languages

9 years agohaskell PRIME
jim [Tue, 3 Feb 2015 12:05:00 +0000 (07:05 -0500)]
haskell PRIME

9 years agoadd Project Euler
jim [Tue, 3 Feb 2015 12:02:54 +0000 (07:02 -0500)]
add Project Euler

9 years agorename _people.mdwn to people.mdwn
jim [Tue, 3 Feb 2015 10:45:53 +0000 (05:45 -0500)]
rename _people.mdwn to people.mdwn

9 years agocreate page
jim [Tue, 3 Feb 2015 10:45:37 +0000 (05:45 -0500)]
create page

9 years agotweak
jim [Tue, 3 Feb 2015 10:37:08 +0000 (05:37 -0500)]
tweak

9 years agoreorganize
jim [Tue, 3 Feb 2015 10:29:55 +0000 (05:29 -0500)]
reorganize

9 years agoadd links
jim [Tue, 3 Feb 2015 10:26:13 +0000 (05:26 -0500)]
add links

9 years agoadd some commented-out "why-haskell" links
jim [Tue, 3 Feb 2015 10:21:50 +0000 (05:21 -0500)]
add some commented-out "why-haskell" links

9 years agotweak Cabal labels
jim [Tue, 3 Feb 2015 10:08:22 +0000 (05:08 -0500)]
tweak Cabal labels

9 years agoreorganize
jim [Tue, 3 Feb 2015 10:06:34 +0000 (05:06 -0500)]
reorganize

9 years agofix Hoogle form
jim [Tue, 3 Feb 2015 10:05:34 +0000 (05:05 -0500)]
fix Hoogle form

9 years agoRefine
jim [Tue, 3 Feb 2015 10:04:24 +0000 (05:04 -0500)]
Refine

9 years agoAdd link to Penn CIS 194
jim [Mon, 2 Feb 2015 23:47:07 +0000 (18:47 -0500)]
Add link to Penn CIS 194

9 years agoreorganize
jim [Mon, 2 Feb 2015 23:44:54 +0000 (18:44 -0500)]
reorganize

9 years agotypo
jim [Mon, 2 Feb 2015 23:43:04 +0000 (18:43 -0500)]
typo

9 years agocleanup
jim [Mon, 2 Feb 2015 23:42:23 +0000 (18:42 -0500)]
cleanup

9 years agoMaths -> Math
jim [Mon, 2 Feb 2015 23:33:43 +0000 (18:33 -0500)]
Maths -> Math

9 years agoAdd link to The Haskell Road to Logic, Maths and Programming
jim [Mon, 2 Feb 2015 23:32:49 +0000 (18:32 -0500)]
Add link to The Haskell Road to Logic, Maths and Programming

9 years agorefine note on sections
Jim [Mon, 2 Feb 2015 23:11:47 +0000 (18:11 -0500)]
refine note on sections

9 years agorefine note on sections
Jim [Mon, 2 Feb 2015 23:10:51 +0000 (18:10 -0500)]
refine note on sections

9 years agorefine note on sections
Jim [Mon, 2 Feb 2015 23:06:58 +0000 (18:06 -0500)]
refine note on sections

9 years agorefine note on sections
Jim [Mon, 2 Feb 2015 23:04:24 +0000 (18:04 -0500)]
refine note on sections

9 years agoadd note on sections
Jim [Mon, 2 Feb 2015 23:01:21 +0000 (18:01 -0500)]
add note on sections

9 years agohomework typo
Jim [Mon, 2 Feb 2015 22:42:27 +0000 (17:42 -0500)]
homework typo

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 22:18:35 +0000 (17:18 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 21:54:35 +0000 (16:54 -0500)]
tweak haskell links

9 years agofix book links
Jim [Mon, 2 Feb 2015 21:36:22 +0000 (16:36 -0500)]
fix book links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 21:31:18 +0000 (16:31 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 20:59:26 +0000 (15:59 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 20:55:40 +0000 (15:55 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 20:26:13 +0000 (15:26 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 20:25:03 +0000 (15:25 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 18:02:49 +0000 (13:02 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 18:00:57 +0000 (13:00 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 17:46:12 +0000 (12:46 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 17:44:50 +0000 (12:44 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 17:41:53 +0000 (12:41 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 17:09:34 +0000 (12:09 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 17:08:56 +0000 (12:08 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 17:02:12 +0000 (12:02 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 16:42:30 +0000 (11:42 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 16:40:31 +0000 (11:40 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 16:38:16 +0000 (11:38 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 16:36:39 +0000 (11:36 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 16:34:47 +0000 (11:34 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 16:30:26 +0000 (11:30 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 16:29:29 +0000 (11:29 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 16:28:45 +0000 (11:28 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 16:26:34 +0000 (11:26 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 16:22:55 +0000 (11:22 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 16:19:32 +0000 (11:19 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 15:56:37 +0000 (10:56 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 15:55:04 +0000 (10:55 -0500)]
tweak haskell links

9 years agotweak haskell links
Jim [Mon, 2 Feb 2015 15:46:28 +0000 (10:46 -0500)]
tweak haskell links

9 years agotweak lists of prog lang implementations
Jim [Mon, 2 Feb 2015 15:12:23 +0000 (10:12 -0500)]
tweak lists of prog lang implementations

9 years agotweak lists of prog lang implementations
Jim [Mon, 2 Feb 2015 15:11:05 +0000 (10:11 -0500)]
tweak lists of prog lang implementations

9 years agotweak lists of prog lang implementations
Jim [Mon, 2 Feb 2015 15:10:14 +0000 (10:10 -0500)]
tweak lists of prog lang implementations

9 years agotweak lists of prog lang implementations
Jim [Mon, 2 Feb 2015 15:09:04 +0000 (10:09 -0500)]
tweak lists of prog lang implementations

9 years agoreorg learning haskell
Jim [Mon, 2 Feb 2015 14:48:27 +0000 (09:48 -0500)]
reorg learning haskell

9 years agoreorg learning haskell
Jim [Mon, 2 Feb 2015 14:47:33 +0000 (09:47 -0500)]
reorg learning haskell

9 years agoadding to learning haskell
Jim [Mon, 2 Feb 2015 14:44:26 +0000 (09:44 -0500)]
adding to learning haskell

9 years agofix broken link
Jim [Mon, 2 Feb 2015 14:27:54 +0000 (09:27 -0500)]
fix broken link

9 years agolearning haskell links
Jim [Mon, 2 Feb 2015 14:26:29 +0000 (09:26 -0500)]
learning haskell links

9 years agolearning haskell links
Jim [Mon, 2 Feb 2015 14:25:56 +0000 (09:25 -0500)]
learning haskell links

9 years agoadd anchors to installing
Jim [Mon, 2 Feb 2015 14:05:18 +0000 (09:05 -0500)]
add anchors to installing

9 years agoassignment1 tweaks
Jim [Mon, 2 Feb 2015 00:25:11 +0000 (19:25 -0500)]
assignment1 tweaks

9 years agowrite up course overview
Jim [Mon, 2 Feb 2015 00:11:49 +0000 (19:11 -0500)]
write up course overview

9 years agomisc tweaks
Jim [Sun, 1 Feb 2015 23:41:03 +0000 (18:41 -0500)]
misc tweaks

9 years agokeywords
Jim [Sun, 1 Feb 2015 22:45:35 +0000 (17:45 -0500)]
keywords

9 years agomisc tweaks
Jim [Sun, 1 Feb 2015 22:39:17 +0000 (17:39 -0500)]
misc tweaks

9 years agoreformat front page
Jim [Sun, 1 Feb 2015 22:30:15 +0000 (17:30 -0500)]
reformat front page