index
:
ING1-Projects.git
main
Projets ING1 2024-2025
Marcellus
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tiger-compiler
/
tests
/
assert
/
bind
/
assert-bad-let.tig
blob: 92653f2edfd7fdc65a92063f5366322b9c3e12ee (
plain
)
1
2
3
4
5
assert let var value := 5 in result end = 10