From dfc7f0b9c9f9d9a7fc9ba175d77d5b4a099fc200 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Thu, 12 Jan 2023 13:24:00 +0000 Subject: [PATCH] Deployed c078119 to master with MkDocs 1.2.4 and mike 1.1.2 --- master/CHANGELOG/index.html | 1 + master/search/search_index.json | 2 +- master/sitemap.xml | 18 +++++++++--------- master/sitemap.xml.gz | Bin 201 -> 202 bytes master/sophia_features/index.html | 22 ++++++++++++++++++++++ master/sophia_syntax/index.html | 1 + 6 files changed, 34 insertions(+), 10 deletions(-) diff --git a/master/CHANGELOG/index.html b/master/CHANGELOG/index.html index c5fa799..4488b13 100644 --- a/master/CHANGELOG/index.html +++ b/master/CHANGELOG/index.html @@ -1481,6 +1481,7 @@ and this project adheres to Semant entrypoint f(c : Main) : int = c.spend(10)
  • Return a mapping from variables to FATE registers in the compilation output.
  • +
  • Hole expression.
  • Changed