/nethra

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

Primary LanguageOCamlMIT LicenseMIT

Stargazers