Albatross – A Programming Language with Static Verification | Heykuki News