Polarity
Install
Publications
Docs
FAQ
Github
Polarity
A research language focused on dependent data and codata types
GitHub
Discord
Try Polarity