An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: propositional-equality

ephel-lang/nethra

Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.

Language: OCaml - Size: 3.46 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 9 - Forks: 1