Polarity

A research language focused on dependent data and codata types

GitHub Discord