Linha do tempo de O que são tipos dependentes e uma linguagem dependentemente tipada?
Licença atual: CC BY-SA 4.0
6 eventos
quando alternar formato | o que | por | licença | comentário | |
---|---|---|---|---|---|
25/05/2021 às 18:30 | voto | aceitação | Luiz Felipe | ||
14/05/2021 às 15:07 | histórico | editada | Maniero♦ |
tags editadas
|
|
12/05/2021 às 14:43 | resposta | adicionado | Maniero♦ | linha do tempo pontuação: 4 | |
11/03/2021 às 21:00 | histórico | twitado | twitter.com/StackOverflowPT/status/1370117340638158849 | ||
11/03/2021 às 20:07 | histórico | editada | Luiz Felipe |
tags editadas; tags editadas
|
|
11/03/2021 às 19:31 | histórico | perguntada | Luiz Felipe | CC BY-SA 4.0 |