henk (npm): Henk: Pure CoC Type System
Keywords: erlang|lambda-cube|pts|pure|termination