GammaScript is a programming language featuring exclusively pure, total functions.
Current features:
- indentation-insignificant syntax,
- Hindley–Milner type system,
- algebraic data types,
- Lua code generation,
- PHP code generation.
Near future features:
- pattern matching,
- primitive recursion.
GammaScript is named after the Greek letter Γ, which is often used to denote type environments in inference rules.