Follow

Agda's docs don't seem to mention shape irrelevance
It's been four years, has no one made it official yet

Sign in to participate in the conversation
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.