|
|
ab56a8414f
|
Add proof of equivalence of the two languages
|
2024-09-24 18:45:46 -07:00 |
|
|
|
62f59a9a4d
|
Add a formalization of the nested-loop language
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-09-23 00:28:57 -07:00 |
|
|
|
deb4378af2
|
Extract values into a separate module
|
2024-09-22 22:02:01 -07:00 |
|
|
|
d763d7a639
|
Rename language file
|
2024-09-22 21:54:52 -07:00 |
|
|
|
1f7dd876b5
|
Slightly clean up some comments
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-09-22 19:47:51 -07:00 |
|
|
|
e8460ab42f
|
Add initial formal + static semantics of language 'A'
|
2024-09-22 19:12:04 -07:00 |
|
