Type Proofs and Functional Programming for the Kotlin Type System

DRANK

This talk demonstrates some of the new features the Arrow team is introducing in Arrow at the type level and IDE and how others can benefit from them when building libraries and applications.