Alternatives

Products that do what Peridot – A functional language based on two-level type theory does

1. Not indexed yet — check back in a few minutes.

Ranked by how close each launch is in meaning, then by votes. Refine with a description →