diff options
Diffstat (limited to 'computation')
| -rw-r--r-- | computation/continuations.md | 2 | ||||
| -rw-r--r-- | computation/index.md | 5 | ||||
| -rw-r--r-- | computation/lambda-calculus.md | 5 | ||||
| -rw-r--r-- | computation/memory-management.md | 5 | ||||
| -rw-r--r-- | computation/modules.md | 5 | ||||
| -rw-r--r-- | computation/networking.md | 5 | ||||
| -rw-r--r-- | computation/paradigms.md | 5 | ||||
| -rw-r--r-- | computation/semantics.md | 5 | ||||
| -rw-r--r-- | computation/syntax.md | 7 | ||||
| -rw-r--r-- | computation/types.md | 5 |
10 files changed, 48 insertions, 1 deletions
diff --git a/computation/continuations.md b/computation/continuations.md index b2126f8..08017c5 100644 --- a/computation/continuations.md +++ b/computation/continuations.md @@ -1,6 +1,6 @@ --- layout: computation -title: computation/compilers +title: computation/continuations --- # continuations diff --git a/computation/index.md b/computation/index.md index 9ac7e22..7c2765e 100644 --- a/computation/index.md +++ b/computation/index.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation +--- + # notes on computation and its consequences - [paradigms](paradigms) diff --git a/computation/lambda-calculus.md b/computation/lambda-calculus.md index 769b80d..78752db 100644 --- a/computation/lambda-calculus.md +++ b/computation/lambda-calculus.md @@ -1 +1,6 @@ +--- +layout: computation +title: computation/lambda calculus +--- + # the lambda calculus diff --git a/computation/memory-management.md b/computation/memory-management.md index b4dc8be..a2edadc 100644 --- a/computation/memory-management.md +++ b/computation/memory-management.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/memory management +--- + # memory management lobster diff --git a/computation/modules.md b/computation/modules.md index cde238c..be7b7e5 100644 --- a/computation/modules.md +++ b/computation/modules.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/modules +--- + # modules An overarching question I've had that I've been unable to resolve: are ML-style modules any more expressive than a system with: diff --git a/computation/networking.md b/computation/networking.md index 85c1b6b..e2cdccf 100644 --- a/computation/networking.md +++ b/computation/networking.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/networking +--- + # the networking layer of the internet ## routing: IP, DNS diff --git a/computation/paradigms.md b/computation/paradigms.md index e66a454..198a522 100644 --- a/computation/paradigms.md +++ b/computation/paradigms.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/programming paradigms +--- + # reflections on programming paradigms ## imperative programming diff --git a/computation/semantics.md b/computation/semantics.md index d854341..410d0ef 100644 --- a/computation/semantics.md +++ b/computation/semantics.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/semantics +--- + # formal semantics ## denotational semantics diff --git a/computation/syntax.md b/computation/syntax.md index 29e8c48..31b95a5 100644 --- a/computation/syntax.md +++ b/computation/syntax.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/syntax +--- + # syntax articles @@ -11,6 +16,8 @@ books ebnf +npegs + ## lexing ## parsing diff --git a/computation/types.md b/computation/types.md index 2124175..7231f82 100644 --- a/computation/types.md +++ b/computation/types.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/types +--- + # types! ah, wonderous types! posts |