From: Jim Pryor Date: Tue, 24 Aug 2010 02:43:57 +0000 (-0400) Subject: offsite_reading formatting X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=f30e2819d09f18a3ee21f3f84cf28db2c6a80b51;hp=1cdc0cd0502fbaaabbcf5b4d4b465b94873cc9ac offsite_reading formatting Signed-off-by: Jim Pryor --- diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index ee863af3..708deba8 100644 --- a/offsite_reading.mdwn +++ b/offsite_reading.mdwn @@ -37,25 +37,19 @@ Wikipedia-specific warnings. ## Untyped lambda calculus and combinatory logic ## -* [[!wikipedia Lambda calculus]] - +* [[!wikipedia Lambda calculus]] * [[!wikipedia Haskell Curry]] * [[!wikipedia Moses Schönfinkel]] -* [[!wikipedia Alonzo Church]] - +* [[!wikipedia Alonzo Church]] * [[!wikipedia Combinatory logic]] * [[!wikipedia B,C,K,W system]] -* [[!wikipedia SKI combinatory calculus]] - +* [[!wikipedia SKI combinatory calculus]] * [[!wikipedia Church-Rosser theorem]] * [[!wikipedia Normalization property]] -* [[!wikipedia Turing completeness]] - +* [[!wikipedia Turing completeness]] * [[!wikipedia Church encoding]] -* [[!wikipedia Y combinator]] - -* [[!wikipedia Curry-Howard isomorphism]] - +* [[!wikipedia Y combinator]] +* [[!wikipedia Curry-Howard isomorphism]] * [[!wikipedia Evaluation strategy]] * [[!wikipedia Eager evaluation]] * [[!wikipedia Lazy evaluation]] @@ -73,6 +67,8 @@ Wikipedia-specific warnings. * [[!wikipedia Type polymorphism]] * [[!wikipedia System F]] +## Side-effects / mutation ## + * [[!wikipedia Side effect (computer science)]] * [[!wikipedia Reference (computer science)]] * [[!wikipedia Pointer (computing)]] @@ -92,4 +88,3 @@ Wikipedia-specific warnings. * [[!wikipedia Linear logic]] -