Joy

Cat: a programming language inspired by Joy but featuring a static type system with type inferencing

boykobbatgmaildotcom