No code samples without digging into links in the documentation doesn’t seem very inviting. Especially when the project itself is a programming language.
I was able to find a link to examples in the main README, although it's true that in the Documentation markdown file itself is missing the reference.
In case it's useful for future readers, here are some samples: https://github.com/titzer/virgil/tree/master/doc/tutorial/ex...
The syntax is not the same.
This is an example from itzer/virgil [1]:
def fib(i: int) -> int {
if (i <= 1) return 1;
return fib(i - 1) + fib(i - 2);
}
def fib(n):
if n < 2:
result = n
else:
result = fib(n - 1) + fib(n - 2)
swear result >= 0
return result