Polarity

A research language focused on dependent data and codata types

Try Polarity