dependent types

Read news on dependent types with our app.

Read more in the app

Ada's dependent types, and its types as a whole