Re:Idris 2 0.6.0 is now available for the JVM
by valenterry on Monday February 27, 2023 @10:13AM
(#34957321)
It is equivalent in the amount of information you can encode, but not in how you can use it.
Classical example is wrapping multiple times: Option<Option<one | two>>. If you have null | null | one | two, well... that just boils down to null | one | two.
Classical example is wrapping multiple times: Option<Option<one | two>>. If you have null | null | one | two, well... that just boils down to null | one | two.