Tag dependent-type - This is page 2 - GeneraCodice

Proving structural equality of dependent records in Coq

https://www.generacodice.com/en/articolo/10466514/proving-structural-equality-of-dependent-records-in-coq

coq - dependent-type

How do I code this dependently-typed example in Haskell?

https://www.generacodice.com/en/articolo/10432425/how-do-i-code-this-dependently-typed-example-in-haskell

haskell - gadt - dependent-type

Is there a language with constrainable types?

https://www.generacodice.com/en/articolo/10196352/is-there-a-language-with-constrainable-types

haskell - agda - dependent-type

How can finite numbers work? (dependent types)

https://www.generacodice.com/en/articolo/9788616/how-can-finite-numbers-work-dependent-types

agda - dependent-type - idris

Type-level sets in Haskell / Agda

https://www.generacodice.com/en/articolo/9536913/type-level-sets-in-haskell-agda

haskell - dependent-type

Agda: how does one obtain a value of a dependent type?

https://www.generacodice.com/en/articolo/9449067/agda-how-does-one-obtain-a-value-of-a-dependent-type

agda - dependent-type

An agda proposition used in the type -- what does it mean?

https://www.generacodice.com/en/articolo/9403938/an-agda-proposition-used-in-the-type-what-does-it-mean

agda - dependent-type

Problems with using of dependent pairs in Agda

https://www.generacodice.com/en/articolo/8869767/problems-with-using-of-dependent-pairs-in-agda

agda - dependent-type

Coinduction and dependent types

https://www.generacodice.com/en/articolo/8827359/coinduction-and-dependent-types

coq - dependent-type - coinduction

Practical examples of Idris

https://www.generacodice.com/en/articolo/8272713/practical-examples-of-idris

dependent-type - idris

«
1
2
3
4
5
6
»

Results found: 59