Stealth

Verified language for serverless computing