Type-level Computation Using Narrowing in Ωmega

@Wmega is an experimental system that combines features of both a programming language and a logical reasoning system. @Wmega is a language with an infinite hierarchy of computational levels. Terms...