Loreon
Labs
Platform
Docs
Home
Ecosystems
OCaml
combinatory-types
Type inference for SK-combinators
OCaml
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
13mo ago
Recent commits
Latest commits.
exploratory: curried sum constructors
09d3f8f
Johannes Bader
13mo ago
exploratory: curried bool and nat constructors
e442d7f
Johannes Bader
13mo ago
nits and some more examples
3d36da3
Johannes Bader
14mo ago
some more common list module APIs
e1d328f
Johannes Bader
14mo ago
exploratory version
d7ba9dd
Johannes Bader
14mo ago
adjustments
64f72a8
Johannes Bader
14mo ago
Update README.md
8570e78
Johannes Bader
14mo ago
init
c5c6c97
Johannes Bader
14mo ago
Top contributors
Builders behind this project.
olydis
8 commits
