Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "typed-lambda-calculus" keyword

View the packages on the proxy.golang.org package registry that are tagged with the "typed-lambda-calculus" keyword.

Top 4.1% on proxy.golang.org
github.com/arrow-kt/arrow v0.3.1
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurr...
4 versions - Latest release: over 8 years ago - 1 dependent repositories - 6,449 stars on GitHub
Related Keywords
arrow 1 continuations 1 coroutines 1 delimited-continuations 1 for-comprehension 1 fp-types 1 functional-data-structure 1 functional-programming 1 hacktoberfest 1 kotlin 1 kotlin-dsl 1 kotlin-libraries 1 kotlin-library 1 monads 1 optics 1 polymorphism 1 typeclasses 1