The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
- functional-programming
- kotlin-library
- monads
- functional-data-structure
Repository Index
61,121 visible repositories in the index
1–3 of 3 · Most stars
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
Building a modern functional compiler from first principles.
- compiler
- lambda-calculus
- type-inference
- haskell