com.thoughtworks.feature:untyper_sjs0.6_2.12 (maven): Untyper
Keywords: dependent-types|scala|type-level-programming