Questions Category dependent-type

Dependent variable names in Idris

Bruno Gavranovic modified 1 months ago

"Verified Type" Design Pattern

Colm Bhandal modified 1 months ago

Destructing equality of dependent records in coq

Rupert Swarbrick modified 1 months ago

What is the type of a pi type?

Mark Neu modified 4 months ago