arrow-kt / Category-Theory-for-Programmers.kt

Kotlin sample code for Bartosz Milewski's CT for Programmers

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

3.3-free-forgetful-adjunctions.md

raulraja opened this issue · comments