| title |
|---|
Style Guide |
In general, observe the style of existing code and respect it.
Modules in framework/ directory are independent helper modules
that might be extracted to their own packages.
Think of the system as a hierarchy of resources:
Library -> Mod -> Stmt -> Exp
Top-level syntax of module is statement oriented -- Stmt.
Use first-order syntax to implement Exp.
When necessary, use Exp.subst to do substitution.