Commit Graph

Select branches

Hide Pull Requests

main

next

Mono Color

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