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.14-lawvere-theories.md

raulraja opened this issue · comments