ephel-lang / nethra

Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.
9Updated 5 months ago

Related projects

Alternatives and complementary repositories for nethra