Idris 2 0.6.0 is now available for the JVM
One of most frequent usage of a type system is literal types.Haskell, Rust,... and modern programming languages fail to do it. The only exception is Typescript.For example, simple way to adding a extended boolean type:type MyBoolean = null | true | false.Ortype MyRange = 3 | 4 | 5Curious.