diff options
Diffstat (limited to 'plt/semantics.md')
| -rw-r--r-- | plt/semantics.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/plt/semantics.md b/plt/semantics.md new file mode 100644 index 0000000..191b61c --- /dev/null +++ b/plt/semantics.md @@ -0,0 +1,8 @@ +--- +layout: plt +title: computation/semantics +--- + +# formal semantics + +## denotational semantics |