lex-types 0.6.0

Type system + effect inference for Lex.
Documentation

M3: type system, effect system. See spec §6, §7.