https://kotlinlang.org logo
#arrow-contributors
Title
# arrow-contributors
r

raulraja

12/08/2019, 12:42 PM
We prove it with an inline erasable runtime that replaces all imposible type cassts that otherwise would have failed after type checkings with proofs.