|
src
|
Base files needed
|
2025-12-15 14:40:09 +02:00 |
|
tests
|
Lambda lowering
|
2025-12-15 16:18:13 +05:30 |
|
.gitignore
|
first commit
|
2025-12-15 13:53:57 +05:30 |
|
Cargo.lock
|
first commit
|
2025-12-15 13:53:57 +05:30 |
|
Cargo.toml
|
first commit
|
2025-12-15 13:53:57 +05:30 |
|
simple.sui
|
added bindingkind verification
|
2025-12-15 17:02:43 +05:30 |
|
simple_test.sui
|
first commit
|
2025-12-15 13:53:57 +05:30 |
|
syntax_test.sui
|
first commit
|
2025-12-15 13:53:57 +05:30 |
|
test_affine.sui
|
added bindingkind verification
|
2025-12-15 17:02:43 +05:30 |
|
test_binding.sui
|
added bindingkind verification
|
2025-12-15 17:02:43 +05:30 |
|
test_linear.sui
|
added bindingkind verification
|
2025-12-15 17:02:43 +05:30 |
|
test_linear_ok.sui
|
added bindingkind verification
|
2025-12-15 17:02:43 +05:30 |
|
test_scoping.sui
|
added bindingkind verification
|
2025-12-15 17:02:43 +05:30 |
|
test_shadow.sui
|
added bindingkind verification
|
2025-12-15 17:02:43 +05:30 |
