lex-types 0.9.5

Type system + effect inference for Lex.
Documentation

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