FaaSlang defines FaaS execution semantics and type-safety mechanisms
FaaSlang has been deprecated in favor of FunctionScript, where the git history has been preserved.
The repository will remain as an archive. Thanks for the feedback and help!