diff options
| author | JJ | 2023-11-25 23:06:19 +0000 |
|---|---|---|
| committer | JJ | 2023-11-25 23:06:19 +0000 |
| commit | 4352cbc9df36c1c84bba51ce51a69be7a009d264 (patch) | |
| tree | bfee6274f721dc8dd5ae729199170d9c03c3d062 /computation/semantics.md | |
| parent | d2f845d7982d305022f4313c0faa343ae11693ad (diff) | |
meow
Diffstat (limited to 'computation/semantics.md')
| -rw-r--r-- | computation/semantics.md | 5 |
1 files changed, 5 insertions, 0 deletions
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 |