In case it's useful for future readers, here are some samples: https://github.com/titzer/virgil/tree/master/doc/tutorial/ex...
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
[2] https://github.com/munificent/vigil
In case it's useful for future readers, here are some samples: https://github.com/titzer/virgil/tree/master/doc/tutorial/ex...