Skip to content

Explore Compare Saved

DevHubBuilt for curious developers. Data from GitHub.

Back to repositories

Public repository / olydis

combinatory-types

Type inference for SK-combinators

0Stars

0Forks

0Open issues

1Subscribers

Language distribution

Share of source bytes reported by GitHub

OCaml99%

Dune1%

Recent activity

Latest commits on the default branch

Update README.mdolydis · Jul 17, 2026 exploratory: curried sum constructorsolydis · May 25, 2025 exploratory: curried bool and nat constructorsolydis · May 15, 2025 nits and some more examplesolydis · May 5, 2025 some more common list module APIsolydis · May 4, 2025 exploratory versionolydis · May 4, 2025 adjustmentsolydis · May 3, 2025 Update README.mdolydis · May 2, 2025 initolydis · May 1, 2025

Project details

Created May 2025 Updated Jul 2026

Contributors

1

olydis9 commits