met

source contact issue tracker documentation

Met is a toy ML-like language with a type-and-effect system based on Modal Effect Types.