I’m hoping for proofs to be a door into type-level...

# arrow-contributors

[raulraja]

I’m hoping for proofs to be a door into type-level programming for Kotlin and its type system that allows library authors and users to explore and elevate what can be done with the Kotlin type system.