so not just total functions but mapping of types to other th kotlinlang #arrow

so not just total functions but mapping of types t...

raulraja

05/07/2020, 5:32 PM

so not just total functions but mapping of types to other theories not representable in Kotlin and using Kotlin as a theorem prover

🤯 1

3 Views