met
source
contact
issue tracker
documentation
Met is a toy ML-like language with a type-and-effect system based on Modal Effect Types.