diff options
| author | JJ | 2023-11-24 00:28:52 +0000 |
|---|---|---|
| committer | JJ | 2023-11-24 00:28:52 +0000 |
| commit | 426d431d03599b65dee1ddffd8923098cbaa79b0 (patch) | |
| tree | 5b5ad794c2e260bdf523e90c9e18d5ff53b8e212 /computation/semantics.md | |
| parent | fa8bb975614b5da3eb358598a1fa379911900f0d (diff) | |
meow
Diffstat (limited to 'computation/semantics.md')
| -rw-r--r-- | computation/semantics.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/computation/semantics.md b/computation/semantics.md index e3e063a..d854341 100644 --- a/computation/semantics.md +++ b/computation/semantics.md @@ -1 +1,3 @@ -# Formal Semantics +# formal semantics + +## denotational semantics |