Mahor

2025-06-05 22:03:17 +02:00
parent 2763913982
commit 069473ae02
6300 changed files with 8 additions and 711849 deletions
@@ -1,72 +0,0 @@
-file-path:: file://C:/Users/david/Zotero/storage/R695QDD8/He e Zan - 2024 - Bit A Template-Based Approach to Incremental and .pdf
-
- file:: [He e Zan - 2024 - Bit A Template-Based Approach to Incremental and .pdf](file://C:/Users/david/Zotero/storage/Y5NSDNBL/He e Zan - 2024 - Bit A Template-Based Approach to Incremental and .pdf)
-  file-path:: file://C:/Users/david/Zotero/storage/Y5NSDNBL/He e Zan - 2024 - Bit A Template-Based Approach to Incremental and .pdf
- function signatures of the printer and the parser that are derived from a BIT template
-  ls-type:: annotation
-  hl-page:: 11
-  hl-color:: green
-  id:: 65e1a0e4-c305-4e17-bff0-6fc9d1ce8359
- S denotes the string type 
-  ls-type:: annotation
-  hl-page:: 12
-  hl-color:: green
-  id:: 65e1a0fc-42f5-4042-826b-22c72e9c31a0
- V is a certain value typ
-  ls-type:: annotation
-  hl-page:: 12
-  hl-color:: green
-  id:: 65e1a0ff-a52a-448c-b57f-97996f2c8922
- including incremental printing, incremental parsing,
-  ls-type:: annotation
-  hl-page:: 12
-  hl-color:: yellow
-  id:: 65e1a11f-e438-4b94-a86e-b7567b37a088
- rewriting an existing string
-  ls-type:: annotation
-  hl-page:: 12
-  hl-color:: yellow
-  id:: 65e1a16a-195a-4269-a0a5-5343e8131321
-  hl-stamp:: 1709285742084
- ncPrint does not use a mode
-  ls-type:: annotation
-  hl-page:: 12
-  hl-color:: green
-  id:: 65e1a1b3-8096-41d1-a175-3313d8b99751
-  hl-stamp:: 1709285813961
- Accumulative BX
-  ls-type:: annotation
-  hl-page:: 12
-  hl-color:: green
-  id:: 65e1a212-d01f-4cdb-a058-424fdde2ea10
- (1)
-  ls-type:: annotation
-  hl-page:: 12
-  hl-color:: red
-  id:: 65e1a25a-f313-47f7-94e7-269d49153c3e
- pdate the model m into m′
-  ls-type:: annotation
-  hl-page:: 12
-  hl-color:: yellow
-  id:: 65e1a32f-77b0-4509-b7a4-22527e368155
- Special Case
-  ls-type:: annotation
-  hl-page:: 13
-  hl-color:: green
-  id:: 65e1a35e-1ff9-4f3a-8003-c4b4c08e1d50
- We assume every expression e is equipped with a bidirectional semantics
-  ls-type:: annotation
-  hl-page:: 16
-  hl-color:: yellow
-  id:: 65e1a3d8-ac28-4ff9-972e-4de53d273654
-  hl-stamp:: 1709286376002
- e as a BX
-  ls-type:: annotation
-  hl-page:: 16
-  hl-color:: green
-  id:: 65e1a3dc-d1d5-42af-ad26-0b9ccf04adeb
- pattern ρ
-  ls-type:: annotation
-  hl-page:: 17
-  hl-color:: yellow
-  id:: 65e1a5ef-fd36-41d2-a12d-6de436c1ca0d