Português
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artigos completos
Categorias
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Você escreve
Do utilizador
Conecte-se
Cadastro
Recuperação de senha
Tag
Tags de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag rupendent-type - Esta é a página 4 - GeneraCodice
Rewriting dependent functions
https://www.generacodice.com/pt/articolo/5329415/rewriting-dependent-functions
coq
-
dependent-type
StackOverflow
Implicit arguments and applying a function to the tail-part of fixed-size-vectors
https://www.generacodice.com/pt/articolo/5279696/implicit-arguments-and-applying-a-function-to-the-tail-part-of-fixed-size-vectors
agda
-
dependent-type
StackOverflow
How to index an “element” type by a “source container” value?
https://www.generacodice.com/pt/articolo/4981439/how-to-index-an-element-type-by-a-source-container-value
haskell
-
dependent-type
StackOverflow
Implicit length arguments in fixed-length-vector-functions in Agda
https://www.generacodice.com/pt/articolo/4949838/implicit-length-arguments-in-fixed-length-vector-functions-in-agda
functional-programming
-
haskell
-
agda
-
dependent-type
StackOverflow
Why not be dependently typed?
https://www.generacodice.com/pt/articolo/4942943/why-not-be-dependently-typed
haskell
-
type-systems
-
dependent-type
StackOverflow
Agda Type-Checking and Commutativity / Associativity of +
https://www.generacodice.com/pt/articolo/4938820/agda-type-checking-and-commutativity-associativity-of
functional-programming
-
haskell
-
agda
-
dependent-type
StackOverflow
Agda: parsing nested lists
https://www.generacodice.com/pt/articolo/4781379/agda-parsing-nested-lists
parsing
-
haskell
-
agda
-
dependent-type
StackOverflow
Applying a fixed-length-vector-function to the inital part of a longer fixed-length-vector
https://www.generacodice.com/pt/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
StackOverflow
Agda: my code doesn't type check (how to get implicit arguments right?)
https://www.generacodice.com/pt/articolo/4692283/agda-my-code-doesn-t-type-check-how-to-get-implicit-arguments-right
haskell
-
agda
-
dependent-type
StackOverflow
Agda: parse a string with numbers
https://www.generacodice.com/pt/articolo/4587179/agda-parse-a-string-with-numbers
agda
-
dependent-type
StackOverflow
«
1
2
3
4
5
6
»
Resultados encontrados: 59