Show HN: Peridot – A functional language based on two-level type theorygithub.com/eashanhatti151 pointsehatti4 years ago