From f30e2819d09f18a3ee21f3f84cf28db2c6a80b51 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 23 Aug 2010 22:43:57 -0400 Subject: [PATCH] offsite_reading formatting Signed-off-by: Jim Pryor --- offsite_reading.mdwn | 21 ++++++++------------- 1 file changed, 8 insertions(+), 13 deletions(-) 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]] - -- 2.11.0