Here is the first chapter translated to Kotlin and...

# arrow-contributors

[raulraja]

Here is the first chapter translated to Kotlin and the infra to ensure code snippets type-check with Ank https://github.com/arrow-kt/Category-Theory-for-Programmers.kt/pull/1