lex-types 0.10.5

Type system + effect inference for Lex.
Documentation

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