Tag dependent-type - Dies ist Seite 5 - GeneraCodice

Agda: parsing nested lists

https://www.generacodice.com/de/articolo/4781379/agda-parsing-nested-lists

parsing - haskell - agda - dependent-type

Applying a fixed-length-vector-function to the inital part of a longer fixed-length-vector

https://www.generacodice.com/de/articolo/4731643/applying-a-fixed-length-vector-function-to-the-inital-part-of-a-longer-fixed-length-vector

haskell - type-systems - ghc - dependent-type - type-level-computation

Agda: my code doesn't type check (how to get implicit arguments right?)

https://www.generacodice.com/de/articolo/4692283/agda-my-code-doesn-t-type-check-how-to-get-implicit-arguments-right

haskell - agda - dependent-type

Agda: parse a string with numbers

https://www.generacodice.com/de/articolo/4587179/agda-parse-a-string-with-numbers

agda - dependent-type

How to make a type with restrictions

https://www.generacodice.com/de/articolo/3084268/how-to-make-a-type-with-restrictions

haskell - dependent-type

Dependent types for structured data validation

https://www.generacodice.com/de/articolo/2995090/dependent-types-for-structured-data-validation

functional-programming - ocaml - haskell - type-systems - dependent-type

Pattern matching not specialising types

https://www.generacodice.com/de/articolo/2296515/pattern-matching-not-specialising-types

coq - theorem-proving - dependent-type

So verwenden Sie abhängige Paare

https://www.generacodice.com/de/articolo/1891510/so-verwenden-sie-abhaengige-paare

agda - dependent-type

Wie kann ich diesen Typ vereinfachen?

https://www.generacodice.com/de/articolo/1385067/wie-kann-ich-diesen-typ-vereinfachen

types - functional-programming - coq - dependent-type

Ist es in Scala möglich, das von einem Singleton -Typ verwiesene "Val" abzurufen?

https://www.generacodice.com/de/articolo/1301869/ist-es-in-scala-moeglich-das-von-einem-singleton-typ-verwiesene-val-abzurufen

types - scala - dependent-type

«
1
2
3
4
5
6
»

Gefundene Ergebnisse: 59