Polarity-Lang

A research language focused on dependent data and codata types

Star

Overview

Overview